Mercurial > urweb
comparison tests/where.lac @ 210:f4033abd6ab1
Inferring sql_type's
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 16 Aug 2008 12:35:46 -0400 |
parents | 1487c712eb12 |
children | 5292c0113024 |
comparison
equal
deleted
inserted
replaced
209:1487c712eb12 | 210:f4033abd6ab1 |
---|---|
2 table t2 : {A : float, D : int} | 2 table t2 : {A : float, D : int} |
3 | 3 |
4 val q1 = (SELECT * FROM t1) | 4 val q1 = (SELECT * FROM t1) |
5 val q2 = (SELECT * FROM t1 WHERE TRUE) | 5 val q2 = (SELECT * FROM t1 WHERE TRUE) |
6 val q3 = (SELECT * FROM t1 WHERE FALSE) | 6 val q3 = (SELECT * FROM t1 WHERE FALSE) |
7 val q4 = (SELECT * FROM t1 WHERE {True}) |