From f4227a1adad5be299eb80dc4e5baab4ea46169b1 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 9 Apr 2009 15:30:15 -0400 Subject: CHECK constraints --- tests/cst.ur | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'tests/cst.ur') diff --git a/tests/cst.ur b/tests/cst.ur index 2db083f7..a0ccf539 100644 --- a/tests/cst.ur +++ b/tests/cst.ur @@ -1,7 +1,11 @@ -table u : {C : int, D : int, E : option int} +table u : {C : int, D : int, E : option int, F : string} PRIMARY KEY C, CONSTRAINT U UNIQUE (C, D), - CONSTRAINT U2 UNIQUE E + CONSTRAINT U2 UNIQUE E, + + CONSTRAINT Pos CHECK D > 0, + CONSTRAINT NoNo CHECK C + D <> 2, + CONSTRAINT Known CHECK F = "_E = 6" table t : {A : int, B : int, C : option int} PRIMARY KEY B, -- cgit v1.2.3