The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
The parser sometimes crashed after error recovery because a discrepancy between allocating and enlarging the propagatedPrefixes bitset in AbstractStackNode.updateOvertakenNullableNode.
Both should use possibleMaxSize.
The parser sometimes crashed after error recovery because a discrepancy between allocating and enlarging the
propagatedPrefixes
bitset inAbstractStackNode.updateOvertakenNullableNode
. Both should usepossibleMaxSize
.