The tree grammar rule (in include/Project.rtg) and signature (in include/Project.str) are not generated for sorts that contain literal strings but no constructor. For example:

ID "!"  -> Name

But the following examples do work as expected:

ID      -> Name
ID "!"  -> Name {cons("Name")}

This is an issue with sdf2rtg I believe. Of course, I could add a constructor name but this will pollute the AST.

Apart from this particular issue, this kind of syntax with no constructor completely works as expected: it is parsed correctly and results in a nice clean AST, and SDF3-symbolsorts creates correct pretty-printing rules for it.

Submitted by D. Pelsmaeker on 11 July 2014 at 15:32

Log in to post comments