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