summaryrefslogtreecommitdiff
path: root/tests/nest.ur
diff options
context:
space:
mode:
Diffstat (limited to 'tests/nest.ur')
-rw-r--r--tests/nest.ur22
1 files changed, 21 insertions, 1 deletions
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
+*)