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

For example,
<verbatim>
	<all(s)> [a, b, c]  --->  ![<s> a, <s> b, <s> c]
</verbatim>
instead of
<verbatim>
	<all(s)> [a, b, c]  --->  ![<s> a | <s> [b, c]]
</verbatim>

-- Main.EelcoVisser - 09 Jan 2002 <br />