Mercurial > urweb
diff tests/cst.ur @ 714:0f42461273cf
CHECK constraints
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 09 Apr 2009 15:30:15 -0400 |
parents | baaae037e7f6 |
children |
line wrap: on
line diff
--- a/tests/cst.ur Thu Apr 09 14:59:29 2009 -0400 +++ b/tests/cst.ur Thu Apr 09 15:30:15 2009 -0400 @@ -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,