Mercurial > urweb
diff tests/table.lac @ 205:cb8f69556975
Elaborating 'SELECT *' queries
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 14 Aug 2008 15:24:59 -0400 |
parents | 241c9a0e3397 |
children | cc68da3801bc |
line wrap: on
line diff
--- a/tests/table.lac Thu Aug 14 13:59:11 2008 -0400 +++ b/tests/table.lac Thu Aug 14 15:24:59 2008 -0400 @@ -1,3 +1,12 @@ -table t : {A : int, B : string, C : float} +table t1 : {A : int, B : string, C : float} -val my_query = (SELECT * FROM t) +val q1 = (SELECT * FROM t1) + +table t2 : {A : float, D : int} + +val q2 = (SELECT * FROM t1, t2) + +(*val q3 = (SELECT * FROM t1, t1)*) +val q3 = (SELECT * FROM t1, t1 AS T2) + +val q4 = (SELECT * FROM {t1} AS T, t1 AS T2)