annotate tests/sql_indent.ur @ 1058:86b831978b8d

Recursive hnormSgn for projections of signatures from modules
author Adam Chlipala <adamc@hcoop.net>
date Sat, 05 Dec 2009 14:34:44 -0500
parents d3de57ce4bca
children
rev   line source
adamc@372 1 table t1 : {A : int, B : string, C : float}
adamc@372 2
adamc@372 3 val q1 = (SELECT *
adamc@375 4 FROM t1
adamc@372 5 WHERE A = 0)
adamc@373 6
adamc@373 7 val a1 = (INSERT INTO t1
adamc@373 8 VALUES (0, "1", 2.0))
adamc@373 9
adamc@373 10 val a2 = (UPDATE t1
adamc@373 11 SET A = 3, B = "4", C = 5.0)
adamc@375 12
adamc@373 13 val a3 = (DELETE FROM t1
adamc@373 14 WHERE B <> "good")
adamc@374 15
adamc@374 16
adamc@374 17 val q2 = (SELECT *
adamc@374 18 FROM t1
adamc@374 19 WHERE A = 0
adamc@374 20 OR B = "hi"
adamc@374 21 AND (C <> 10.01
adamc@374 22 OR A = 8)
adamc@374 23 AND (B = B
adamc@374 24 OR B = B
adamc@374 25 AND C = C OR (D =
adamc@374 26 6 AND 8 = 8)))