summaryrefslogtreecommitdiff
path: root/tests/let.ur
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
commit70232ad319a6d86aa1302976919e4c1b126a36f8 (patch)
treea11a164b5f4671f27a3e77a5346b4e981e35b801 /tests/let.ur
parent4f190e28ca1f36b85cea29ef79b1c9f163779141 (diff)
Parsing 'let'
Diffstat (limited to 'tests/let.ur')
-rw-r--r--tests/let.ur6
1 files changed, 6 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