diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-04-04 17:44:12 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-04-04 17:44:12 -0400 |
| commit | 677c10e07e93c08f5990a9c74dae4da65b7270f8 (patch) | |
| tree | 2c29b96122efd8e630ea24a3db4ed7489f408c5a /tests/policy.ur | |
| parent | 7e8e31fc6375ba9a0b9db891c3ecbc89fbf6d374 (diff) | |
Parsing more of WHERE
Diffstat (limited to 'tests/policy.ur')
| -rw-r--r-- | tests/policy.ur | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tests/policy.ur b/tests/policy.ur index 9cc230bf..642e4efc 100644 --- a/tests/policy.ur +++ b/tests/policy.ur @@ -12,7 +12,8 @@ policy query_policy (SELECT fruit.Id, fruit.Nam, fruit.Weight FROM fruit) policy query_policy (SELECT order.Id, order.Fruit, order.Qty FROM order, fruit - WHERE order.Fruit = fruit.Id) + WHERE order.Fruit = fruit.Id + AND order.Qty = 13) fun main () = x1 <- queryX (SELECT fruit.Id, fruit.Nam @@ -21,7 +22,8 @@ fun main () = x2 <- queryX (SELECT fruit.Nam, order.Qty FROM fruit, order - WHERE fruit.Id = order.Fruit) + WHERE fruit.Id = order.Fruit + AND order.Qty = 13) (fn x => <xml><li>{[x.Fruit.Nam]}: {[x.Order.Qty]}</li></xml>); return <xml><body> |