Intellipad MGrammar Mode with Tree Preview ist great! But I would like to define my semantic model along with my grammar and have the AST checked against it immediately.
Any plans/thoughts? I'm sure I could write a python script for it, if I knew python an intellipad well enough :-)
I would say that in the long term, a goal of the language would be to enable that kind of validation. In the near term, though, this won't be supported.
Sorry for the slow reply... There isn't really a technical challenge in that you are correct--we already validate graphs against schemas in the MSchema compiler. It's more of a question of getting the various pieces wired together, as well as getting the two languages wired together. We're headed there, we just aren't there yet.