blob: 104a9f344af387f7a1137113b44617bee6b17af8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
table t : {A : int, B : int}
CONSTRAINT UniA UNIQUE A,
CONSTRAINT UniB UNIQUE B,
CONSTRAINT UniBoth UNIQUE (A, B),
CONSTRAINT UniAm UNIQUE {#A},
CONSTRAINT UniAm2 UNIQUE {{[A = _]}},
CONSTRAINT UniAm3 {unique [[A = _]] !},
{{one_constraint [#UniAm4] (unique [[A = _]] !)}}
fun main () : transaction page =
queryI (SELECT * FROM t) (fn _ => return ());
return <xml/>
|
