Ur/Web: tests/cst.ur annotate

PRIMARY KEY

author	Adam Chlipala <adamc@hcoop.net>
date	Tue, 07 Apr 2009 16:14:31 -0400
parents	e6706a1df013
children	0406e9cccb72

rev	line source
adamc@704	1 table t : {A : int, B : int}
adamc@707	2 PRIMARY KEY B,
adamc@707	3
adamc@704	4 CONSTRAINT UniA UNIQUE A,
adamc@704	5 CONSTRAINT UniB UNIQUE B,
adamc@704	6 CONSTRAINT UniBoth UNIQUE (A, B),
adamc@704	7
adamc@704	8 CONSTRAINT UniAm UNIQUE {#A},
adamc@705	9 CONSTRAINT UniAm2 {unique [#A] [[]] ! !},
adamc@705	10 {{one_constraint [#UniAm3] (unique [#A] [[]] ! !)}},
adamc@705	11
adamc@705	12 CONSTRAINT UniBothm UNIQUE ({#A}, {#B}),
adamc@705	13 CONSTRAINT UniBothm2 {unique [#A] [[B = _]] ! !},
adamc@705	14 {{one_constraint [#UniBothm3] (unique [#A] [[B = _]] ! !)}}
adamc@704	15
adamc@704	16 fun main () : transaction page =
adamc@704	17 queryI (SELECT * FROM t) (fn _ => return ());
adamc@704	18 return <xml/>

Mercurial > urweb