comparison tests/view.ur @ 754:8688e01ae469
A view query works
| author |
Adam Chlipala <adamc@hcoop.net> |
| date |
Tue, 28 Apr 2009 15:04:37 -0400 |
| parents |
|
| children |
|
comparison
equal
deleted
inserted
replaced
| |
1 table t : { A : int, B : string } |
| |
2 |
| |
3 view v = SELECT t.A AS X FROM t |
| |
4 |
| |
5 fun main () = |
| |
6 rows <- queryX (SELECT * FROM v) |
| |
7 (fn r => <xml><li>{[r.V.X]}</li></xml>); |
| |
8 return <xml><body> |
| |
9 {rows} |
| |
10 </body></xml> |
