summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-01 10:47:10 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-01 10:47:10 -0400
commit89f97891a33b5c0a8971d3508059a139a8815091 (patch)
treea11a164b5f4671f27a3e77a5346b4e981e35b801 /tests
parent389aae9254a3bdee3e79bb75b7355de270f2e8dd (diff)
Parsing 'let'
Diffstat (limited to 'tests')
-rw-r--r--tests/let.ur6
-rw-r--r--tests/let.urp3
2 files changed, 9 insertions, 0 deletions
diff --git a/tests/let.ur b/tests/let.ur
new file mode 100644
index 00000000..45d52ded
--- /dev/null
+++ b/tests/let.ur
@@ -0,0 +1,6 @@
+fun main () : transaction page =
+ let
+ val x = 1
+ in
+ return <xml>{[x]}</xml>
+ end
diff --git a/tests/let.urp b/tests/let.urp
new file mode 100644
index 00000000..4bb17d32
--- /dev/null
+++ b/tests/let.urp
@@ -0,0 +1,3 @@
+debug
+
+let