English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2005-06-03 (01:47)
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
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