Mercurial > urweb
view tests/sql_indent.ur @ 658:81c5c2674215
Update old Ur/Web library section, before adding new stuff
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 12 Mar 2009 11:56:10 -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)))