]> ocean-lang.org Git - ocean/commit
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)
commit35d743c48140ea96fa56c3f63ee8dd0e032cbb2d
tree941364c8cd70b27fc068e21561c3dbecf325bfc3
parentca00beb39b9d02578c1f0b556a2c2f70f28cf6e7
parsergen: allow $$OUT to be satisfied are start-of-line.

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>
csrc/indent_test.mdc
csrc/parsergen.mdc