diff tests/sql_indent.ur @ 374:1099d083a702

Indenting paren-nested SQL expressions
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Oct 2008 17:15:21 -0400
parents 008afab3a5ce
children d3de57ce4bca
line wrap: on
line diff
--- a/tests/sql_indent.ur	Thu Oct 16 16:24:19 2008 -0400
+++ b/tests/sql_indent.ur	Thu Oct 16 17:15:21 2008 -0400
@@ -1,7 +1,7 @@
 table t1 : {A : int, B : string, C : float}
 
 val q1 = (SELECT *
-          FROM t1
+          FROM t1)
           WHERE A = 0)
 
 val a1 = (INSERT INTO t1
@@ -9,6 +9,18 @@
 
 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)))