coli-saar / alto

Alto, the Algebraic Language Toolkit
Other
16 stars 2 forks source link

IRTG input codec should report parsing error for extra closing brackets #81

Open alexanderkoller opened 2 years ago

alexanderkoller commented 2 years ago

When parsing an IRTG grammar that has extra closing brackets, the IrtgInputCodec does not generate an error message. Instead, it silently skips the next grammar rule, leading to undergeneration in the IRTG that is hard to debug for users.

Instead, the codec should throw an error on extra closing brackets so users can find this problem.

micro-passive.irtg.txt