aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests/letwhere.ur
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
commitb81169750193dfb71fb48764619f81dbac29c37d (patch)
tree4cbada553614a81254d7edee64f69969e7c8a46c /tests/letwhere.ur
parentfa90e68cdf1bb11a89eaafca74e48e88abf7a6da (diff)
let..where..end
Diffstat (limited to 'tests/letwhere.ur')
-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