summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-06-11 14:22:47 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2014-06-11 14:22:47 -0400
commit5f541f2fd4a4ecd6f0b2d900bcad0092363bb3a8 (patch)
tree4cbada553614a81254d7edee64f69969e7c8a46c /tests
parentb19a5ff5ec18c7b9c562161274c86dd6b5737e5c (diff)
let..where..end
Diffstat (limited to 'tests')
-rw-r--r--tests/letwhere.ur7
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/letwhere.ur b/tests/letwhere.ur
new file mode 100644
index 00000000..8854f2aa
--- /dev/null
+++ b/tests/letwhere.ur
@@ -0,0 +1,7 @@
+fun main () : transaction page =
+ let
+ return <xml>Hi {[alice]} and {[bob]}!</xml>
+ where
+ val alice = "Alice"
+ val bob = "Bob"
+ end