comparison tests/longConst.ur @ 1782:61c7eb1d3867

Support fancy expressions in module-level 'val' declarations
author Adam Chlipala <adam@chlipala.net>
date Wed, 18 Jul 2012 17:29:13 -0400
parents
children
comparison
equal deleted inserted replaced
1781:25824a0e8bf1 1782:61c7eb1d3867
1 val ls = 1 :: 2 :: 3 :: 4 :: 5 :: 6
2 :: 1 :: 2 :: 3 :: 4 :: 5 :: 6
3 :: 1 :: 2 :: 3 :: 4 :: 5 :: 6
4 :: 1 :: 2 :: 3 :: 4 :: 5 :: 6
5 :: 1 :: 2 :: 3 :: 4 :: 5 :: 6
6 :: 1 :: 2 :: 3 :: 4 :: 5 :: 6
7 :: []
8
9 fun main () : transaction page = return <xml><body>
10 {List.mapX txt ls}<br/>
11 {List.mapX txt ls}
12 </body></xml>