summaryrefslogtreecommitdiff
path: root/tests/cst.ur
diff options
context:
space:
mode:
Diffstat (limited to 'tests/cst.ur')
-rw-r--r--tests/cst.ur9
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 ());