Mercurial > urweb
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))) |