change to lessen interface dependency wrt. PGOCaml (avoid bitrotting)
src/query.mli
Tue Nov 2 15:52:21 CET 2010 gasche.dylc@gmail.com
* change to lessen interface dependency wrt. PGOCaml (avoid bitrotting)
--- old-macaque/src/query.mli 2015-04-13 12:47:03.000000000 +0200
+++ new-macaque/src/query.mli 2015-04-13 12:47:03.000000000 +0200
@@ -39,4 +39,6 @@
with type 'a monad = 'a Thread.t) :
QUERY with module Db = Db
-include QUERY with module Db = PGOCaml
+include QUERY
+ with type 'a Db.monad = 'a PGOCaml.monad
+ and type 'a Db.t = 'a PGOCaml.t