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: Julien Verlaguet <Julien.Verlaguet@p...>
Subject: Bug with cyclic abbreviations ?
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 ?

J