Support grammars with non-terminal to non-terminal productions

SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications

MIT License

4 stars 1 forks source link

Support grammars with non-terminal to non-terminal productions #48

Closed kjcjohnson closed 2 years ago

kjcjohnson commented 2 years ago

Fixes #47.

I was touching the same areas, so ended up fixing #46 while I was at it. New error message (for a missing operator Q):

D:\dev\semgus\temp\Semgus-Parser\/Examples/max2-exp.sl:95:9: error: while processing `synth-fun` for max2: in grammar block: Not a valid operator for production: ntE --> Q()