Simple SPT tests such as [[(true)]] parses to [[true]] are ambiguous. These tests come in two flavours. First, you can specify a test fragment and the expected AST. In this reading, we have a nested list with a constructor w/o arguments. Second, you can specify two test fragments which should result in the same ASTs. This is the intended meaning here.

Submitted by Guido Wachsmuth on 18 September 2014 at 23:40

On 18 September 2014 at 23:59 Gabriël Konat commented:

test t [[(true)]] parses to [[true]] parses correctly for me in Spoofax 1.2


On 19 September 2014 at 00:04 Gabriël Konat commented:

Never mind that, seem an error didn’t display properly, it should be parse to not parses to. Now I also get the ambiguity Fragment is ambiguous: either pattern or ParseOutput


On 4 November 2014 at 15:31 Gabriël Konat commented:

Did you fix this Guido?

Log in to post comments