Mercurial > urweb

comparison tests/cst.ur @ 705:e6706a1df013

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
704:70cbdcf5989b 705:e6706a1df013
2 CONSTRAINT UniA UNIQUE A, 2 CONSTRAINT UniA UNIQUE A,
3 CONSTRAINT UniB UNIQUE B, 3 CONSTRAINT UniB UNIQUE B,
4 CONSTRAINT UniBoth UNIQUE (A, B), 4 CONSTRAINT UniBoth UNIQUE (A, B),
5 5
6 CONSTRAINT UniAm UNIQUE {#A}, 6 CONSTRAINT UniAm UNIQUE {#A},
7 CONSTRAINT UniAm2 UNIQUE {{[A = _]}}, 7 CONSTRAINT UniAm2 {unique [#A] [[]] ! !},
8 CONSTRAINT UniAm3 {unique [[A = _]] !}, 8 {{one_constraint [#UniAm3] (unique [#A] [[]] ! !)}},
9 {{one_constraint [#UniAm4] (unique [[A = _]] !)}} 9
10 CONSTRAINT UniBothm UNIQUE ({#A}, {#B}),
11 CONSTRAINT UniBothm2 {unique [#A] [[B = _]] ! !},
12 {{one_constraint [#UniBothm3] (unique [#A] [[B = _]] ! !)}}
10 13
11 fun main () : transaction page = 14 fun main () : transaction page =
12 queryI (SELECT * FROM t) (fn _ => return ()); 15 queryI (SELECT * FROM t) (fn _ => return ());
13 return <xml/> 16 return <xml/>