Track uniqueness sets in table types

1 files changed, 6 insertions, 3 deletions

diff --git a/tests/cst.ur b/tests/cst.ur
index 104a9f34..0ebcc977 100644
--- a/tests/cst.ur
+++ b/tests/cst.ur
@@ -4,9 +4,12 @@ table t : {A : int, B : int}
   CONSTRAINT UniBoth UNIQUE (A, B),
 
   CONSTRAINT UniAm UNIQUE {#A},
-  CONSTRAINT UniAm2 UNIQUE {{[A = _]}},
-  CONSTRAINT UniAm3 {unique [[A = _]] !},
-  {{one_constraint [#UniAm4] (unique [[A = _]] !)}}
+  CONSTRAINT UniAm2 {unique [#A] [[]] ! !},
+  {{one_constraint [#UniAm3] (unique [#A] [[]] ! !)}},
+
+  CONSTRAINT UniBothm UNIQUE ({#A}, {#B}),
+  CONSTRAINT UniBothm2 {unique [#A] [[B = _]] ! !},
+  {{one_constraint [#UniBothm3] (unique [#A] [[B = _]] ! !)}}
 
 fun main () : transaction page =
     queryI (SELECT * FROM t) (fn _ => return ());