I would expect this example:

<concat> [ [1,2]{"anno12"}, [3,4]{"anno34"} ]{"annolist"}

…to yield this:

[1,2,3,4]{"annolist"}

Instead, it results in this:

[1,2,3,4]{"anno12"}

The annotations of the list itself are replaced by those of the first sublist, which seems wrong and arbitrary to me.

Submitted by D. Pelsmaeker on 26 November 2014 at 11:44

The correct annotation is preserved in the Java performance override for concat (see strategoxt pull request #12). The Stratego implementation is still wrong.