On Wed, 24 Nov 1999, Xavier Leroy wrote:

> and attempts to use f later will fail with very strange type error
> messages.  We tried to put unrestricted recursive types in one of the
> OCaml releases, and got many, many complains from users telling us
> that this made the language much harder to use, especially for teaching.

May be will be better to produce warning instead of error about recursive
types, if no -rectypes specified?

Regards,
Anton Moscal