On Sat, 15 Mar 2003, Markus Mottl wrote:
> Furthermore, the "mutually recursive modules"-problem is more
> of a typing problem than one of compilation.

The most annoying (to me) case where the lack of module recursion is 
really hits is the problem of wanting type declarations and functor 
instantiations in a recursive relationship. If this problem, which seems 
like more of a compilation problem than a typing problem, were fixed, I 
don't think I'd care that much about having a general recursive module 
facility. I can live with the (admittedly sometimes ugly) workarounds in 
other cases where module recursion is desirable.

That's not to say I wouldn't like or use a general recursive module feature, 
but the full problem seems awfully hard in a (strict, impure) language like ML 
and I doubt that I'll see it in OCaml before I retire. 

-- Brian



-------------------
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