Re: [Caml-list] Functors and classes

[Richard Jones <rich@annexia.org>]

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