view tests/sql_indent.ur @ 1946:f1485ed65d6c

Avoid some spurious error messages about link/form incompatibility; change the text of that error message to include RPC handlers
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 Dec 2013 10:29:26 -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)))