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