Currently get-annotation(s) (in runtime/editor/annotations) uses collect-one(s) to select the first matching annotation.
When used like <get-annotation(|?Annie(_))> Term(){Dressed(Annie(1)),Annie(2)}
it will return Annie(1), although I think the expected result should be Annie(2).
Changing the collect-one(s) for getfirst(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