view tests/sql_indent.ur @ 1182:0b1d666bddb4

Spiffed-up Split1; remove spurious error message triggered by 'open'ing a module containing a functor
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Mar 2010 17:50:42 -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)))