Mercurial > urweb
view tests/sql_indent.ur @ 1120:74f2eb3b0606
Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 07 Jan 2010 14:02:58 -0500 |
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)))