on the input file when failing due to an invalid grammar.
… creeping back in.
…orted to Gazelle.
Normally we use a heuristic to guess when a grammar is not LL(k), but this heuristic can fail in some cases and falsely claim a grammar is not LL(k) when in fact it is. With the -k option, we will always generate correct lookahead if indeed the grammar is LL(k) for the user-specified k.
I am pretty sure that this algorithm has never been implemented before!
Also add a --no-minimize-rtns flag to gzlc.
Since you can't name strings (at least for now), this construct was renamed.