From: Hendrik Tews <tews@tcs.inf.tu-dresden.de>

> The real solution would be to allow variant types and classes (or
> at least class types) to be mutually dependent. 
> 
> Why is this forbidden in ocaml?

The first reason is technical: class types and type declarations are
handled in two different modules, and integrating them would not be
easy.

But there are also more theoretical problems.
Basically, recursion between class types is monomorphic (to allow
propagation of type constraints), while it is polymorphic between type
declarations. So the meaning of a combined declaration is yet to be
defined.

Regards,

Jacques Garrigue
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr