On Wed, 4 Aug 2004 10:24:30 -0700, james woodyatt <jhw@wetware.com> wrote:
> This is one of those cases where using classes and objects is the right
> way to go.
> 
>         class type c = object ... end
>         class c1 : c
>         class c2 : c
> 
>         module M: sig val c: c end
>         module A(sig val c: c end): sig ... end

Maybe, maybe not.  This creates a different set of issues--like not
being able to define a type as a member of a class.  It all depends on
what you want to do.

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