annotate tests/sql_indent.ur @ 1675:13dad713da35

New, more principled heuristic for Especialize: only specialize uniform function arguments; that is, arguments that don't change across recursive calls
author Adam Chlipala <adam@chlipala.net>
date Wed, 11 Jan 2012 13:53:35 -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)))