Mercurial > urweb
view tests/sql_indent.ur @ 1276:5b5c0b552f59
Another run of Specialize, using ReduceLocal on datatype parameters
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 05 Jun 2010 09:42:37 -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)))