From 3c78af90b54d01c97ab75fd7290281dfb96921ee Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 1 Nov 2008 11:17:29 -0400
Subject: Elaborating 'let'

---
 tests/let.ur | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'tests/let.ur')

diff --git a/tests/let.ur b/tests/let.ur
index 45d52ded..14dc936c 100644
--- a/tests/let.ur
+++ b/tests/let.ur
@@ -1,6 +1,8 @@
 fun main () : transaction page =
     let
         val x = 1
+        val y = "Hello"
+        val z = 3.45
     in
-        return <xml>{[x]}</xml>
+        return <xml>{[x]}, {[y]}, {[z]}</xml>
     end
-- 
cgit v1.2.3