Re: The option -rectypes

From: Anton Moscal (
Date: Thu Nov 25 1999 - 11:53:22 MET

Date: Thu, 25 Nov 1999 13:53:22 +0300 (MSK)
From: Anton Moscal <>
Subject: Re: The option -rectypes
In-Reply-To: <>

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?

Anton Moscal

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:28 MET