On Jan 29, 2005, at 18:33, Radu Grigore wrote:

> For now I have setteled for
>   type forest = Forest of forest StringMap.t
>
> Can you give an example of why rectypes by default is dangerous?

IIRC, rectypes are off by default because they trade a small increment
in expressive power for a large degradation of the intelligibility of
type-checking error messages.  I don't think they are dangerous in the
sense of breaking the type system.

-- Damien