Mercurial > urweb
view tests/sql_indent.ur @ 1332:4dd5d23bace2
minHeap option in .urp files
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 11 Dec 2010 15:16:04 -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)))