I found that sdf2rtg does not include (m)any productions with parameterized sorts. Any productions only reachable through such productions also aren’t included.

This can be reproduced using the following slightly modified EntityLang grammar: https://gist.github.com/980368

The Type and the Property constructors won’t be present in the RTG or the signatures when parameterized sorts are used.

I’m still looking for a better workaround than manually writing signatures or not using parameterized sorts…

Submitted by Tobi Vollebregt on 19 May 2011 at 09:58

On 19 May 2011 at 10:22 Lennart Kats commented:

SpoofaxLang also has support for signature generation, but I don’t know if it also supports parameterized sorts. If not, it should.

On 19 May 2011 at 10:36 Tobi Vollebregt commented:

Yeah, for actual future users it may not matter much if SpoofaxLang can do it correctly. (Maybe the entire sdf2rtg|rtg2sdf chain could be marked deprecated for external use at some point.)

However I hit this issue when integrating the templating language into SpoofaxLang :)

For the moment I’ll workaround by adding some extra start symbols and writing some of the signatures manually (or rather, copying them from before I changed from renamed sorts to parameterized sorts).

On 19 May 2011 at 11:40 Tobi Vollebregt commented:

Nevermind this, I missed one step in getting the correct parameterized sorts (so they were effectively undefined).

Issue can be closed.

Log in to post comments