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/blog.ur | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 tests/blog.ur

(limited to 'tests/blog.ur')

diff --git a/tests/blog.ur b/tests/blog.ur
new file mode 100644
index 00000000..a3a06cb6
--- /dev/null
+++ b/tests/blog.ur
@@ -0,0 +1,16 @@
+fun main wrap =
+    let
+        fun edit id =
+            let
+                val r = 0
+                fun save () = <xml/>
+            in
+                wrap (save ())
+            end
+    in
+        edit 0
+    end
+
+fun wrap (inside : xbody) = return <xml/>
+
+val main () = main wrap
-- 
cgit v1.2.3