]> git.neil.brown.name Git - ocean/commit
projects / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: afa1be3) | patch
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)
commitd67d447f79371573a26aee434133424a45caee93
tree210087c5ba65ce0bed1921a373729996bc9e5c5dtree | snapshot
parentafa1be3c3a7f14a8c476d937a33376490272ba45commit | diff
Oceani: be sure to set precedence on required terminals.

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>
csrc/oceani.mdc diff | blob | history
The Ocean Language Project