List Traversal

Stratego -- Strategies for Program Transformation
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