annotate tests/consub.ur @ 2014:fee1f660139c

Added HTML5 Semantic Tags
author David Snider <david@davidsnider.net>
date Sat, 10 May 2014 20:38:13 -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)