diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2018-05-19 16:39:49 -0400 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-05-19 16:39:49 -0400 |
| commit | 077666b77bf21054e1e1f67ba61dfbaf57525378 (patch) | |
| tree | f38f14cf8adb099d94fdc28d52c64ae879a0359d /tests/bindpat.ur | |
| parent | 30edae2956d346e7df7ca27fcc77432e45cea99e (diff) | |
| parent | 4c01511f5bf2229da7b146943444278d714ed7d6 (diff) | |
Merge pull request #123 from ashalkhakov/tests
Adding Selenium-based checking to tests.
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 |