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