Closed davidweichiang closed 1 year ago
Ah, this is my fault. I don’t remember why, but I needed to change the translation of extern calls so that they have their own rule. But the nonterminal and terminal now have the same name, which is an error.
Cf #27
I think this issue is more widespread than just externs... It looks like constructors also have both nonterminal and terminal entries in the FGG json too
There ought to be a test case to ensure that externs are translated correctly, but it's not easy right now.