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: Frédéric_Gava <gava@u...>
Subject: Re: [Caml-list] Bug with cyclic abbreviations ?
Hi,

> # let (x : 'a t as 'a)=0;;
> Fatal error: exception Stack_overflow

I have the same problem with

let _ = (fun () -> let (x : 'a t as 'a)=0 in 0);;

where the evaluation of the let has been freezed... so is it the type system
which loops ?

Frédéric Gava