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 RAA27793; Tue, 3 Aug 2004 17:12:45 +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 RAA28079 for ; Tue, 3 Aug 2004 17:12:44 +0200 (MET DST) Received: from annexia.force9.co.uk (annexia.force9.co.uk [212.56.101.183]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i73FChSH010526 for ; Tue, 3 Aug 2004 17:12:43 +0200 Received: from rich by annexia.force9.co.uk with local (Exim 3.36 #1 (Debian)) id 1Bs0y1-0006Xr-00; Tue, 03 Aug 2004 16:12:41 +0100 Date: Tue, 3 Aug 2004 16:12:41 +0100 To: John Prevost Cc: Ocaml Mailing List Subject: Re: [Caml-list] Functors and classes Message-ID: <20040803151241.GA25124@annexia.org> References: <20040803120244.GA22304@annexia.org> <20040803121049.GA22418@annexia.org> <20040803131716.GA22773@annexia.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.5.1+cvs20040105i From: Richard Jones X-Miltered: at concorde with ID 410FAB6B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 functors:01 2004:99 0400,:01 prevost:01 model:01 dbi:99 dbi:99 val:01 lablgtk:01 hides:01 obstacle:01 vanier:01 ltd:98 sig:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, Aug 03, 2004 at 11:06:33AM -0400, John Prevost wrote: > The following model works for me. The key problem here is that > there's no way to bring a class binding in in the way you want. > That's not really a problem, except that you lose the ability to call > "new". Perhaps the Dbi interface could be changed to allow for this? > (Depending on how you do things, this could mean that a DbiPool could > itself be used as a Dbi module, somehow.) > module type ThingIntf = > sig > type connection > val connect : unit -> connection > end Thanks. I understand what you're getting at here, and it kind of reflects the way that lablgtk hides the 'new' operator too, although I'm not sure if that's for the same reasons. Looks like a backwards-compatible change to the Dbi module interfaces is required. Rich. -- Richard Jones. http://www.annexia.org/ http://www.j-london.com/ Merjis Ltd. http://www.merjis.com/ - improving website return on investment "One serious obstacle to the adoption of good programming languages is the notion that everything has to be sacrificed for speed. In computer languages as in life, speed kills." -- Mike Vanier ------------------- 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