From 2c4b54472c522c99b053e5913971cc2c2f6d0e27 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 30 Apr 2009 13:47:46 -0400 Subject: subforms working --- tests/subforms.ur | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'tests/subforms.ur') diff --git a/tests/subforms.ur b/tests/subforms.ur index 3db55a43..cf5d0ba4 100644 --- a/tests/subforms.ur +++ b/tests/subforms.ur @@ -4,7 +4,9 @@ fun handler' ls = | Cons (r, ls) =>

{[r.A]}, {[r.B]}, {[r.Sub]}

{handler' ls} fun handler r = return - {[r.A]}, {handler' r.Sub}, {[r.C]} + {[r.A]}
+ {handler' r.Sub} + {[r.C]} fun main () = return @@ -16,6 +18,12 @@ fun main () = return

+ + +
+
+
+
-- cgit v1.2.3