view tests/sql_indent.ur @ 1698:aaae710417df

Remove seemingly inaccurate part of comment (perhaps clarified version can be added back in later)
author Adam Chlipala <adam@chlipala.net>
date Tue, 13 Mar 2012 11:59:03 -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)))