annotate tests/sql_indent.ur @ 373:008afab3a5ce

Indenting simple DML properly
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Oct 2008 16:24:19 -0400
parents fe018cbdd41e
children 1099d083a702
rev   line source
adamc@372 1 table t1 : {A : int, B : string, C : float}
adamc@372 2
adamc@372 3 val q1 = (SELECT *
adamc@372 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@373 12
adamc@373 13 val a3 = (DELETE FROM t1
adamc@373 14 WHERE B <> "good")