When the following test

test literal [[1]] parse to IntegerLiteral("1")

fails, it gives this error

The fragment did not parse to the expected ATerm.
Parse result was: ...
Expected result was: IntegerLiteral(1)

Note the missing quotes in the expected result.

Submitted by Guido Wachsmuth on 30 October 2017 at 09:32