]> ocean-lang.org Git - ocean/commit
parsergen: recorded a prefered shift-symbol for error recovery.
authorNeilBrown <neilb@suse.de>
Sun, 24 Nov 2013 06:50:09 +0000 (17:50 +1100)
committerNeilBrown <neilb@suse.de>
Sun, 24 Nov 2013 07:08:35 +0000 (18:08 +1100)
commit32f5baf8857ef1f48451cbb5eacbd0f2f4528abc
treefcfde1387200e4d1242242fd866515e8ce3716ad
parent35e535a5a5fc32421f3a5205fbe290ab2bb9fade
parsergen: recorded a prefered shift-symbol for error recovery.

When we find there is no valid parse step, one option that we don't
currently try is to synthesize a symbol and shift it.  i.e. insert a
missing symbol.

A future patch will provide a circumstance where this is the ideal
response, so here we choose a symbol which could usefully be shifted.
We choose the one that will get us closest to the end of a production.

Signed-off-by: NeilBrown <neilb@suse.de>
csrc/parsergen.mdc