Mercurial > urweb
comparison tests/policy.ur @ 1209:775357041e48
Parsing float and string SQL literals
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 06 Apr 2010 11:07:19 -0400 |
parents | ae3036773768 |
children | c5bd970e77a5 |
comparison
equal
deleted
inserted
replaced
1208:b5a4c5407ae0 | 1209:775357041e48 |
---|---|
33 {x} | 33 {x} |
34 </body></xml> | 34 </body></xml> |
35 | 35 |
36 fun main () = | 36 fun main () = |
37 x1 <- queryX (SELECT fruit.Id, fruit.Nam | 37 x1 <- queryX (SELECT fruit.Id, fruit.Nam |
38 FROM fruit) | 38 FROM fruit |
39 WHERE fruit.Nam = "apple" | |
40 AND fruit.Weight = 1.23) | |
39 (fn x => <xml><li>{[x.Fruit.Id]}: {[x.Fruit.Nam]}</li></xml>); | 41 (fn x => <xml><li>{[x.Fruit.Id]}: {[x.Fruit.Nam]}</li></xml>); |
40 | 42 |
41 x2 <- queryX (SELECT fruit.Nam, order.Qty | 43 x2 <- queryX (SELECT fruit.Nam, order.Qty |
42 FROM fruit, order | 44 FROM fruit, order |
43 WHERE fruit.Id = order.Fruit | 45 WHERE fruit.Id = order.Fruit |