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/ascdesc.ur | |
| parent | 30edae2956d346e7df7ca27fcc77432e45cea99e (diff) | |
| parent | 4c01511f5bf2229da7b146943444278d714ed7d6 (diff) | |
Merge pull request #123 from ashalkhakov/tests
Adding Selenium-based checking to tests.
Diffstat (limited to 'tests/ascdesc.ur')
| -rw-r--r-- | tests/ascdesc.ur | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/tests/ascdesc.ur b/tests/ascdesc.ur index 59dd0169..fadac27d 100644 --- a/tests/ascdesc.ur +++ b/tests/ascdesc.ur @@ -4,7 +4,15 @@ fun sortEm b = queryX1 (SELECT * FROM t ORDER BY t.A {if b then sql_asc else sql_desc}) (fn r => <xml>{[r.A]}; </xml>) -fun main () : transaction page = return <xml><body> - <a link={sortEm True}>Ascending</a><br/> - <a link={sortEm False}>Descending</a> +task initialize = fn () => + dml (INSERT INTO t (A) VALUES (1)); + dml (INSERT INTO t (A) VALUES (2)); + dml (INSERT INTO t (A) VALUES (3)) + +fun main () : transaction page = + p1 <- sortEm True; + p2 <- sortEm False; + return <xml><body> + <p>{p1}</p> + <p>{p2}</p> </body></xml> |