Version française
Home     About     Download     Resources     Contact us    
Browse thread
Bug with cyclic abbreviations ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jacques Garrigue <garrigue@m...>
Subject: Re: [Caml-list] Bug with cyclic abbreviations ?
From: Julien Verlaguet <Julien.Verlaguet@pps.jussieu.fr>

> This is a problem that I only have when the -rectypes option is activated.
> 
> $./ocaml -rectypes
>          Objective Caml version 3.08.3
> 
> # type 'a t='a;;
> type 'a t = 'a
> 
> # type cycle='a t as 'a;;
> The type abbreviation cycle is cyclic
> 
> agreed.
> 
> # let (x : 'a t as 'a)=0;;
> Fatal error: exception Stack_overflow
> 
> Shouldn't it detect the cyclic abbreviation in this case too ?

Indeed, there was a bug in the occur check when using -rectypes.
I suppose this bug has always been there. Funny nobody found it
before.
This is now fixed in CVS (both 3.08 and 3.09).

By the way, there is a special address for bug reports. This helps
tracking them. (Fortunately this one was solved immediately.)

Jacques Garrigue