Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
The option -rectypes
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Anton Moscal <msk@p...>
Subject: Re: The option -rectypes
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