From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA32589; Tue, 3 Aug 2004 18:23:10 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA31769 for ; Tue, 3 Aug 2004 18:23:09 +0200 (MET DST) Received: from mproxy.gmail.com (rproxy.gmail.com [64.233.170.199]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i73GN7SH019816 for ; Tue, 3 Aug 2004 18:23:08 +0200 Received: by mproxy.gmail.com with SMTP id 75so150394rnl for ; Tue, 03 Aug 2004 09:23:07 -0700 (PDT) Received: by 10.38.207.19 with SMTP id e19mr37885rng; Tue, 03 Aug 2004 09:23:07 -0700 (PDT) Message-ID: Date: Tue, 3 Aug 2004 12:23:07 -0400 From: John Prevost To: Ocaml Mailing List Subject: Re: [Caml-list] Functors and classes In-Reply-To: <20040803155026.GB25124@annexia.org> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit References: <20040803120244.GA22304@annexia.org> <20040803121049.GA22418@annexia.org> <20040803131716.GA22773@annexia.org> <20040803155026.GB25124@annexia.org> X-Miltered: at concorde with ID 410FBBEB.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; prevost:01 prevost:01 caml-list:01 functors:01 functors:01 non-obvious:01 dbi:99 api:01 functor:01 dbi:99 approaches:01 modules:02 module:03 module:03 classes:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Yes, that's the same problem I'm seeing. I think it *might* be possible to get around it by using a connection type with type parameters. Maybe. I'll investigate more in a few hours. This is an upsetting problem, but I believe that it's known that there are some drawbacks to mixing classes and functors. (And, well, if it's not, it should be now.) Anyway, we'll see what can be done. If one of the approaches I'm thinking of would work, it might either suggest a rather painful (and non-obvious) change to the Dbi API, or it might be possible to define a functor or simple wrapper to turn a Dbi module into a Dbi' module that works well for this. And maybe someone who's done a lot of work with classes and modules will mention a really nifty solution. :) John. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners