]> ocean-lang.org Git - ocean/commitdiff
parsergen: allow $$OUT to be satisfied are start-of-line.
authorNeilBrown <neil@brown.name>
Sun, 23 Jun 2019 00:21:14 +0000 (10:21 +1000)
committerNeilBrown <neil@brown.name>
Sun, 23 Jun 2019 00:21:14 +0000 (10:21 +1000)
If a $$OUT (or $$NEWLINE) production is being reduced at
start-of-line (with no indents), then that is satisfactory,
we don't need NEWLINE etc as look-ahead.

This means that in cases where this is relevant, the computed
lookahead is wrong - we shouldn't have striped it.
I don't think this matters as it only affects conflict warnings,
and I think these will be reported at a higher level if relevant.
If essense, the $$OUT marking is like a precendence marking which
suppresses shift/reduce warnings as it say that decision is being made
on some basis other than look-ahead.

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

No differences found