annotate tests/cst.ur @ 706:1fb318c17546
Enhance table sig item support and get demo compiling again
| author |
Adam Chlipala <adamc@hcoop.net> |
| date |
Tue, 07 Apr 2009 15:04:07 -0400 |
| parents |
e6706a1df013 |
| 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/>
|
