Mercurial > urweb
view tests/sql_indent.ur @ 1255:068f55543d03
New release
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 06 May 2010 16:05:14 -0400 |
parents | d3de57ce4bca |
children |
line wrap: on
line source
table t1 : {A : int, B : string, C : float} val q1 = (SELECT * FROM t1 WHERE A = 0) val a1 = (INSERT INTO t1 VALUES (0, "1", 2.0)) val a2 = (UPDATE t1 SET A = 3, B = "4", C = 5.0) val a3 = (DELETE FROM t1 WHERE B <> "good") val q2 = (SELECT * FROM t1 WHERE A = 0 OR B = "hi" AND (C <> 10.01 OR A = 8) AND (B = B OR B = B AND C = C OR (D = 6 AND 8 = 8)))