Re: [Caml-list] Recursive modules and polymorphic recursion

[brogoff@speakeasy.net]

On Thu, 26 Jun 2003, Xavier Leroy wrote:
> As the design document explains
> (http://pauillac.inria.fr/~xleroy/publi/recursive-modules-note.pdf),
> the current implementation of recursive modules is such that a definition
>         module rec A : SIGA = StructA
> is accepted only if all value components of SIGA are functions. 

I guess I was thrown by the fact that the similar

module rec ASet : Set.S with type elt = A.t = Set.Make(A) 
and A : (* ... etc ...*) 

is accepted, and by the fact that I rarely comprehend this kind of stuff by 
reading alone, but instead have to read/hack/ask/read/... 

> The decision to integrate recursive modules in 3.07 was taken on the
> grounds that imperfect recursive modules are still better than no
> recursive modules at all.  Be patient: perfection takes time.

Of course. I'm glad that decision was taken, and I think what's there is 
pretty good, even if imperfect. I expect that perfection would take forever, 
which will certainly exhaust anyone's patience. 

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