diff options
author | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2018-05-08 16:03:24 +0600 |
---|---|---|
committer | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2018-05-08 16:03:24 +0600 |
commit | c293746d4c34ccb7abb8af41f7d05940aa7e4076 (patch) | |
tree | 052e8bf308ba2e2f8de626ec1426f9a3841728a3 /tests/filter.ur | |
parent | e1ae0ce918c234cbb0b5a6ee72e0443bd04d4127 (diff) |
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> |