Mercurial > urweb

annotate tests/consub.ur @ 2095:d9f918b79b5a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
List.mem
author Adam Chlipala <adam@chlipala.net>
date Tue, 23 Dec 2014 14:41:23 -0500
parents 2e6795cc992f
children
rev   line source
adam@1887 1 functor F(M : sig
adam@1887 2 table t : { A : int, B : int }
adam@1887 3 PRIMARY KEY A
adam@1887 4 end) = struct
adam@1887 5 open M
adam@1887 6
adam@1887 7 fun getByA a = oneRow1 (SELECT * FROM t WHERE t.A = {[a]})
adam@1887 8 end
adam@1887 9
adam@1887 10 table u : { A : int, B : int }
adam@1887 11 PRIMARY KEY A,
adam@1887 12 CONSTRAINT B UNIQUE B
adam@1887 13
adam@1887 14 open F(struct
adam@1887 15 val t = u
adam@1887 16 end)