Related to https://yellowgrass.org/issue/Spoofax/331.

I have the same “Unexpected reject annotation”, but this only started after r22600 :-/

I uploaded a test set and .def file here: https://gist.github.com/944300 (you can git clone the whole thing to easily get all files). When investigating I found some changes in AST between JSGLR and SGLRI so I have put those in the tests too. Only test-2 and test-3 give the “Unexpected reject annotation” error since r22600.

The Spoofax/STRJ revisions under test were:

  • Old: 22594
  • New: 22601

Commenting out MetaVar -> Sort {reject} in the .def file appears to make everything work. The new JSGLR then outputs the same AST as the old JSGLR, but not the same AST as SGLRI: meta-listvar becomes meta-var and there is an ambiguity amb([sort("A"), meta-var("A")]) introduced (that is probably why the {reject} annotation is in the grammar…)

Submitted by Tobi Vollebregt on 27 April 2011 at 16:44

On 27 April 2011 at 18:10 Lennart Kats tagged parser

On 8 January 2013 at 15:00 Eelco Visser tagged sdf

Log in to post comments