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/filter.ur | |
parent | 30edae2956d346e7df7ca27fcc77432e45cea99e (diff) | |
parent | 4c01511f5bf2229da7b146943444278d714ed7d6 (diff) |
Merge pull request #123 from ashalkhakov/tests
Adding Selenium-based checking to tests.
Diffstat (limited to 'tests/filter.ur')
-rw-r--r-- | tests/filter.ur | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/tests/filter.ur b/tests/filter.ur index efd326c3..2691a939 100644 --- a/tests/filter.ur +++ b/tests/filter.ur @@ -1,9 +1,16 @@ -fun filter [fs ::: {Type}] [ks] (t : sql_table fs ks) (p : sql_exp [T = fs] [] [] bool) - : sql_query [T = fs] [] = +fun filter [fs ::: {Type}] [ks] (t : sql_table fs ks) (p : sql_exp [T = fs] [] [] bool) = (SELECT * FROM t WHERE {p}) table t : { A : int, B : float } -fun main () = - queryX (filter t (WHERE t.A > 3)) - (fn r => <xml>{[r.T.A]}, {[r.T.B]}</xml>) +task initialize = fn () => + dml (INSERT INTO t (A, B) VALUES (1, 2.0)); + dml (INSERT INTO t (A, B) VALUES (2, 1.0)); + dml (INSERT INTO t (A, B) VALUES (3, 3.0)); + dml (INSERT INTO t (A, B) VALUES (4, 4.0)); + dml (INSERT INTO t (A, B) VALUES (44, 4.4)) + +fun main () : transaction page = + r <- queryX (filter t (WHERE t.A > 3)) + (fn r => <xml>{[r.T.A]}, {[r.T.B]}; </xml>); + return <xml><body>{r}</body></xml> |