]> git.neil.brown.name Git - ocean/commit
projects / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5e50e5) | patch
oceani-tests: use LALR to check for conflicts.
authorNeilBrown <neil@brown.name>
Wed, 5 Jun 2019 08:12:20 +0000 (18:12 +1000)
committerNeilBrown <neil@brown.name>
Wed, 5 Jun 2019 08:12:20 +0000 (18:12 +1000)
commit10bdd8cae39ee1ca74967283b958c3c041adfa14
tree8245c605057fbf12ac51623ce7ae7c5b7570fa31tree | snapshot
parentf5e50e504ef5724ed7d9f13c411fff28d2b17a1ecommit | diff
oceani-tests: use LALR to check for conflicts.

LR1 analysis takes a lot longer than LALR and will never find
more conflicts, only ever fewer.
So with to that when checking for conflicts.

Also report that the check is happening, and fix a typo.

Signed-off-by: NeilBrown <neil@brown.name>
csrc/oceani-tests.mdc diff | blob | history
The Ocean Language Project