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

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.