diff options
author | major seitan <majorseitan@users.noreply.github.com> | 2018-06-02 14:58:45 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-02 14:58:45 -0400 |
commit | 87c86c5d2066a8805c7e72e3279ae8d5822f0c90 (patch) | |
tree | 02fa912c9b44ee07c0fcfe2bad0e2b686d0103b3 /tests/filter.ur | |
parent | b4ffc6c4837e06c48a1a15ea662c25aa92566bf6 (diff) | |
parent | 1c493e9ec47f4754dd7237078e8c4f3300925ce3 (diff) |
Merge branch 'master' into master
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> |