]> ocean-lang.org Git - ocean/commit
parsergen: track when newline is permitted, and discard if not.
authorNeilBrown <neilb@suse.de>
Sun, 4 May 2014 10:31:05 +0000 (20:31 +1000)
committerNeilBrown <neilb@suse.de>
Sun, 4 May 2014 10:31:05 +0000 (20:31 +1000)
commit829199a5ed506f07f98e5689257656d88ab5093d
treec520072141c0d9e28b4b3163c3024c5e93359da4
parent9729d02ec39220036d9e137e45aee7615f484ceb
parsergen: track when newline is permitted, and discard if not.

A newline is only permitted (as a recognised symbol) if we are
parsing a non-indented line-like segment.
If we have seen an internal indent since the last line-like start,
newline tokens should be ignored.

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