]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d28c54d) | patch
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)
commitc7719a192d6d2a4934405775a208614a56b2ce72
tree231c01c17d3e18a67179959b31cb4548eabd8991tree | snapshot
parentd28c54dc30f0b4322ffb2ecbbfcee9a566052d4bcommit | diff
parsergen: improve symbol-discard in error handling.

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>
csrc/parsergen.mdc diff | blob | history
The Ocean Language Project