get-annotation considers non-toplevel terms
Currently
get-annotation(s)(in runtime/editor/annotations) usescollect-one(s)to select the first matching annotation.
When used like<get-annotation(|?Annie(_))> Term(){Dressed(Annie(1)),Annie(2)}
it will returnAnnie(1), although I think the expected result should beAnnie(2).
Changing thecollect-one(s)forgetfirst(s)would behave is I would expect.Using Spoofax stable, 1.2.0.0-s41851
Submitted by Hendrik van Antwerpen on 4 October 2014 at 04:44
Log in to post comments