List Traversal

Lists are now (StrategoRelease07) considered as variadic constructors. The behaviour of the generic traversal operators is changed accordingly.

For example,

   <all(s)> [a, b, c]  --->  ![<s> a, <s> b, <s> c]

instead of

   <all(s)> [a, b, c]  --->  ![<s> a | <s> [b, c]]

-- EelcoVisser - 09 Jan 2002