Mercurial > urweb
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) |