From 72414e8531db237906a847fe1a7adaed4b000978 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 30 Apr 2009 14:48:23 -0400 Subject: --- tests/subforms.ur | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'tests/subforms.ur') diff --git a/tests/subforms.ur b/tests/subforms.ur index cf5d0ba4..f6876bd8 100644 --- a/tests/subforms.ur +++ b/tests/subforms.ur @@ -1,7 +1,7 @@ fun handler' ls = case ls of Nil => - | Cons (r, ls) =>

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

{handler' ls} + | Cons (r, ls) =>

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

{handler' ls} fun handler r = return {[r.A]}
@@ -14,12 +14,14 @@ fun main () = return
+

+

-- cgit v1.2.3