Re: The option -rectypes

From: Anton Moscal (msk@post.tepkom.ru)
Date: Thu Nov 25 1999 - 11:53:22 MET


Date: Thu, 25 Nov 1999 13:53:22 +0300 (MSK)
From: Anton Moscal <msk@post.tepkom.ru>
To: caml-list@inria.fr
Subject: Re: The option -rectypes
In-Reply-To: <19991124215630.05496@pauillac.inria.fr>

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



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