diff options
author | major seitan <majorseitan@users.noreply.github.com> | 2018-06-02 14:58:45 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-02 14:58:45 -0400 |
commit | 87c86c5d2066a8805c7e72e3279ae8d5822f0c90 (patch) | |
tree | 02fa912c9b44ee07c0fcfe2bad0e2b686d0103b3 /tests/bindpat.ur | |
parent | b4ffc6c4837e06c48a1a15ea662c25aa92566bf6 (diff) | |
parent | 1c493e9ec47f4754dd7237078e8c4f3300925ce3 (diff) |
Merge branch 'master' into master
Diffstat (limited to 'tests/bindpat.ur')
-rw-r--r-- | tests/bindpat.ur | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/tests/bindpat.ur b/tests/bindpat.ur index bca4bd41..8fd6eb39 100644 --- a/tests/bindpat.ur +++ b/tests/bindpat.ur @@ -1,6 +1,9 @@ fun main () : transaction page = (a, b) <- return (1, 2); {C = c, ...} <- return {C = "hi", D = False}; - d <- return 2.34; - {1 = e, 2 = f} <- return (8, 9); + let + val d = 2.34 + val {1 = e, 2 = f} = (8, 9) + in return <xml>{[a]}, {[b]}, {[c]}, {[d]}, {[e]}, {[f]}</xml> + end
\ No newline at end of file |