rascal - `syntax` 声明必须在`data` 声明之前？

Question

似乎在 Rascal 中，syntax声明必须在data声明之前。真的吗？我的经验是，如果我在syntax声明之后data添加声明，则会出现解析错误。为什么是解析错误？

Answer 1

是的。语法声明必须位于文件的首位。

原因是（我相信）提取解析文件其余部分所需的语法应该很简单。

当然，如有必要，您可以随时通过将类型声明放在单独的文件中来解决此问题（可能仅在您需要向语法产品添加怪异注释时才需要）。