annotate tests/consub.ur @ 2177:00cf8214c2e3

Switching to a more dynamic method of handling database reconnection, restarting transactions
author Adam Chlipala <adam@chlipala.net>
date Sat, 17 Oct 2015 11:08:12 -0400
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)