diff options
author | 2014-05-27 21:38:01 -0400 | |
---|---|---|
committer | 2014-05-27 21:38:01 -0400 | |
commit | dc336268adfbf2b05b34ab006de5990f8ce9086c (patch) | |
tree | 22fb72ef5ad32f47571fa250515108188d7e22f9 /tests/bindpat.ur | |
parent | d941d873c0203009ccf44aa4aed97671703ca375 (diff) | |
parent | 4cee29f03879d25963e3d8a8dda879e0a007033c (diff) |
Merge.
Diffstat (limited to 'tests/bindpat.ur')
-rw-r--r-- | tests/bindpat.ur | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/bindpat.ur b/tests/bindpat.ur new file mode 100644 index 00000000..bca4bd41 --- /dev/null +++ b/tests/bindpat.ur @@ -0,0 +1,6 @@ +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); + return <xml>{[a]}, {[b]}, {[c]}, {[d]}, {[e]}, {[f]}</xml> |