annotate tests/consub.ur @ 2215:639e62ca2530

Mostly finish effectfulness analysis.
author Ziv Scully <ziv@mit.edu>
date Fri, 31 Oct 2014 09:25:03 -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)