diff 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
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/longConst.ur	Wed Jul 18 17:29:13 2012 -0400
@@ -0,0 +1,12 @@
+val ls = 1 :: 2 :: 3 :: 4 :: 5 :: 6
+           :: 1 :: 2 :: 3 :: 4 :: 5 :: 6
+           :: 1 :: 2 :: 3 :: 4 :: 5 :: 6
+           :: 1 :: 2 :: 3 :: 4 :: 5 :: 6
+           :: 1 :: 2 :: 3 :: 4 :: 5 :: 6
+           :: 1 :: 2 :: 3 :: 4 :: 5 :: 6
+           :: []
+
+fun main () : transaction page = return <xml><body>
+  {List.mapX txt ls}<br/>
+  {List.mapX txt ls}
+</body></xml>