]> ocean-lang.org Git - ocean/commitdiff
code / ocean / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: d67d447)
Oceani: be sure to set precedence on required terminals.
authorNeilBrown <neil@brown.name>
Mon, 10 Jun 2019 06:51:31 +0000 (16:51 +1000)
committerNeilBrown <neil@brown.name>
Mon, 10 Jun 2019 06:59:12 +0000 (16:59 +1000)
In some cases I was only setting on nonterminals which derived the
terminals.  That set it for the reduction, but not the terminal.

Also remove an ERROR production that duplicates one from Declaration

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

No differences found
The Ocean Language Project