view tests/sql_indent.ur @ 2176:d2a98983f502

Start of support for surviving database-server restarts, for Postgres
author Adam Chlipala <adam@chlipala.net>
date Sat, 17 Oct 2015 10:49:25 -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)))