annotate tests/cst.ur @ 710:71409a4ccb67

Get demo type-inferring again
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 20:38:01 -0400
parents 0406e9cccb72
children 915ec60592d4
rev   line source
adamc@709 1 table u : {C : int, D : int, E : int}
adamc@709 2 PRIMARY KEY C,
adamc@709 3 CONSTRAINT U UNIQUE (C, D)
adamc@709 4
adamc@704 5 table t : {A : int, B : int}
adamc@707 6 PRIMARY KEY B,
adamc@707 7
adamc@704 8 CONSTRAINT UniA UNIQUE A,
adamc@704 9 CONSTRAINT UniB UNIQUE B,
adamc@704 10 CONSTRAINT UniBoth UNIQUE (A, B),
adamc@704 11
adamc@704 12 CONSTRAINT UniAm UNIQUE {#A},
adamc@705 13 CONSTRAINT UniAm2 {unique [#A] [[]] ! !},
adamc@705 14 {{one_constraint [#UniAm3] (unique [#A] [[]] ! !)}},
adamc@705 15
adamc@705 16 CONSTRAINT UniBothm UNIQUE ({#A}, {#B}),
adamc@705 17 CONSTRAINT UniBothm2 {unique [#A] [[B = _]] ! !},
adamc@709 18 {{one_constraint [#UniBothm3] (unique [#A] [[B = _]] ! !)}},
adamc@709 19
adamc@709 20 CONSTRAINT ForA FOREIGN KEY A REFERENCES u (C),
adamc@709 21 CONSTRAINT ForAB FOREIGN KEY (A, B) REFERENCES u (D, C) ON DELETE CASCADE ON UPDATE RESTRICT,
adamc@709 22 CONSTRAINT ForBA FOREIGN KEY (A, B) REFERENCES u (C, D) ON UPDATE NO ACTION,
adamc@709 23
adamc@709 24 CONSTRAINT Self FOREIGN KEY B REFERENCES t (B)
adamc@709 25
adamc@709 26 table s : {B : option int}
adamc@709 27 CONSTRAINT UniB UNIQUE B
adamc@709 28
adamc@709 29 table s2 : {B : option int}
adamc@709 30 CONSTRAINT ForB FOREIGN KEY B REFERENCES s (B) ON DELETE SET NULL
adamc@704 31
adamc@704 32 fun main () : transaction page =
adamc@704 33 queryI (SELECT * FROM t) (fn _ => return ());
adamc@704 34 return <xml/>