Version française
Home     About     Download     Resources     Contact us    
Browse thread
bottom types and threaded exits
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Pierre Weis <Pierre.Weis@i...>
Subject: Re: bottom types and threaded exits
[...]
> Trying to define a type of int -> 'a naturally leads
> to a compiler error of 'a being unbound.

What about:

# let rec loop x = loop (x + 1);;
val loop : int -> 'a = <fun>

This is a pretty convincing non-terminating computation, isn't it ?

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://cristal.inria.fr/~weis/