Productions with missing constructor don’t generate signatures in include/language.str, but the signatures are generated for src-gen/signatures/xxx-sig.str which is inconsistent. (And requires me to import the src-gen/signatures/*.)

Or is include/language.str supposed to be deprecated and should we all use only the src-gen/signatures/*?

Submitted by Daco Harkes on 9 December 2014 at 10:58

On 9 December 2014 at 11:17 Guido Wachsmuth commented:

Signatures in include/language.str are generated from the derived packed SDF file. This tool chain drops unreachable sorts and their constructors from signatures. Might this cause the issue?

I think it is a good idea to rely only on src-gen/signatures/*, but @Eduardo should confirm this.



On 9 December 2014 at 12:47 Eduardo Amorim closed this issue.

Log in to post comments