rascal - `syntax` 宣言は `data` 宣言の前に来なければなりませんか?

Question

Rascal では、syntax宣言は宣言の前に来なければならないようdataです。本当？私の経験では、宣言のsyntax後に宣言を入れるdataと、解析エラーが発生しました。解析エラーになるのはなぜですか?

Answer 1

はい。構文宣言は、ファイルの最初に来る必要があります。

ファイルの残りの部分を解析するために必要な文法を抽出するのは簡単であるべきだというのが理由です (私は信じています)。

もちろん、型宣言を別のファイルに入れることで、必要に応じていつでもこれを回避できます (おそらく、文法生成に変な注釈を追加する必要がある場合にのみ必要です)。