From 332e63f89011488c8c1df9a0903f95be20d989a4 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 1 Nov 2008 21:19:43 -0400
Subject: Almost have that nested save function compiling

---
 tests/nest.ur | 22 +++++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

(limited to 'tests/nest.ur')

diff --git a/tests/nest.ur b/tests/nest.ur
index 8da50712..96bfdff4 100644
--- a/tests/nest.ur
+++ b/tests/nest.ur
@@ -45,7 +45,26 @@ fun f (x : int) =
         page3
     end
 
-datatype list t = Nil | Cons of t * list t
+fun add2 (x : int) (y : int) =
+    let
+        fun add3 () = x + y
+    in
+        add3
+    end
+
+fun add3 (x : int) =
+    let
+        fun add2 (y : int) =
+            let
+                fun add1 (z : int) = x + y + z
+            in
+                add1
+            end
+    in
+        add2
+    end
+
+(*datatype list t = Nil | Cons of t * list t
 
 fun length (t ::: Type) (ls : list t) =
     let
@@ -57,3 +76,4 @@ fun length (t ::: Type) (ls : list t) =
         length' ls 0
     end
 
+*)
-- 
cgit v1.2.3