Mercurial > urweb
annotate tests/equalKnown.ur @ 1280:3d06e0f7a6f3
Initial version of equalKnown working for secret
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Tue, 27 Jul 2010 11:42:30 -0400 |
| parents | |
| children |
| rev | line source |
|---|---|
| adam@1280 | 1 type fruit = int |
| adam@1280 | 2 table fruit : { Id : fruit, Nam : string, Weight : float, Secret : string } |
| adam@1280 | 3 PRIMARY KEY Id, |
| adam@1280 | 4 CONSTRAINT Nam UNIQUE Nam |
| adam@1280 | 5 |
| adam@1280 | 6 policy sendClient (SELECT fruit.Id, fruit.Nam |
| adam@1280 | 7 FROM fruit) |
| adam@1280 | 8 |
| adam@1280 | 9 policy sendClient (SELECT fruit.Weight |
| adam@1280 | 10 FROM fruit |
| adam@1280 | 11 WHERE known(fruit.Secret)) |
| adam@1280 | 12 |
| adam@1280 | 13 policy equalKnown[#Secret] fruit |
| adam@1280 | 14 |
| adam@1280 | 15 fun main () = |
| adam@1280 | 16 x1 <- queryX (SELECT fruit.Id, fruit.Nam, fruit.Weight |
| adam@1280 | 17 FROM fruit |
| adam@1280 | 18 WHERE fruit.Nam = "apple" |
| adam@1280 | 19 AND fruit.Secret = "tasty") |
| adam@1280 | 20 (fn x => <xml><li>{[x.Fruit.Id]}: {[x.Fruit.Nam]}, {[x.Fruit.Weight]}</li></xml>); |
| adam@1280 | 21 |
| adam@1280 | 22 return <xml><body> |
| adam@1280 | 23 <ul>{x1}</ul> |
| adam@1280 | 24 </body></xml> |