annotate tests/cst.ur @ 705:e6706a1df013
Track uniqueness sets in table types
author |
Adam Chlipala <adamc@hcoop.net> |
date |
Tue, 07 Apr 2009 14:11:32 -0400 |
parents |
70cbdcf5989b |
children |
d8217b4cb617 |
rev |
line source |
adamc@704
|
1 table t : {A : int, B : int}
|
adamc@704
|
2 CONSTRAINT UniA UNIQUE A,
|
adamc@704
|
3 CONSTRAINT UniB UNIQUE B,
|
adamc@704
|
4 CONSTRAINT UniBoth UNIQUE (A, B),
|
adamc@704
|
5
|
adamc@704
|
6 CONSTRAINT UniAm UNIQUE {#A},
|
adamc@705
|
7 CONSTRAINT UniAm2 {unique [#A] [[]] ! !},
|
adamc@705
|
8 {{one_constraint [#UniAm3] (unique [#A] [[]] ! !)}},
|
adamc@705
|
9
|
adamc@705
|
10 CONSTRAINT UniBothm UNIQUE ({#A}, {#B}),
|
adamc@705
|
11 CONSTRAINT UniBothm2 {unique [#A] [[B = _]] ! !},
|
adamc@705
|
12 {{one_constraint [#UniBothm3] (unique [#A] [[B = _]] ! !)}}
|
adamc@704
|
13
|
adamc@704
|
14 fun main () : transaction page =
|
adamc@704
|
15 queryI (SELECT * FROM t) (fn _ => return ());
|
adamc@704
|
16 return <xml/>
|