Assertion fails in invariant.ml
This grammar causes an invariant to fail at line 391 of src/invariant.ml
. Apparently Invariant.gotostack
returns a stack cell that corresponds to an empty set of states. This is probably caused by the fact that some productions are never reduced. (Reported by Joe.)