--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/cst.ur	Tue Apr 07 12:24:31 2009 -0400
@@ -0,0 +1,13 @@
+table t : {A : int, B : int}
+  CONSTRAINT UniA UNIQUE A,
+  CONSTRAINT UniB UNIQUE B,
+  CONSTRAINT UniBoth UNIQUE (A, B),
+
+  CONSTRAINT UniAm UNIQUE {#A},
+  CONSTRAINT UniAm2 UNIQUE {{[A = _]}},
+  CONSTRAINT UniAm3 {unique [[A = _]] !},
+  {{one_constraint [#UniAm4] (unique [[A = _]] !)}}
+
+fun main () : transaction page =
+    queryI (SELECT * FROM t) (fn _ => return ());
+    return <xml/>