]> ocean-lang.org Git - ocean/commitdiff
parsergen: improve symbol-discard in error handling.
authorNeilBrown <neil@brown.name>
Mon, 19 Feb 2018 05:38:12 +0000 (16:38 +1100)
committerNeilBrown <neil@brown.name>
Mon, 19 Feb 2018 05:38:12 +0000 (16:38 +1100)
As we don't keep the full look-ahead set, we need to pay a
bit more attention when discarding input symbols, looking
for one we recognize.  We need to consider anything
that can be shifted in any state we can reach by simple
shifting.

Signed-off-by: NeilBrown <neil@brown.name>

No differences found