Closed krame505 closed 5 years ago
Whoops, I forgot about the lexical ambiguity checker.
I gather from the diffs that you did not actually run your test parser before making the previous pull request. I highly recommend doing this as Copper's test harness is not that thorough.
I couldn't actually figure out how to run the results of Copper's test harness. But these new tests are now part of Silver's test suite and have been run there.
I meant running it from the command line, as documented in the user manual sections "Running Copper" and "Running a Copper parser."
Within the test harness, a grammar can be tested end-to-end using the helper methods in CopperRuntimeTests.java.
This fixes a few random errors I found in trying to get a Silver example working, most notably that the lexical ambiguity resolution check logic still hadn't been changed to resolve ambiguities that are subsets of a disambiguation function applicable to subsets.