annotate tests/consub.ur @ 2167:a9dc205edd78

Add '-noEmacs' for 'make test'
author Adam Chlipala <adam@chlipala.net>
date Thu, 06 Aug 2015 12:51:09 -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)