On Sat, 28 Jul 2007 10:13:03 +0200, Basile STARYNKEVITCH wrote:
> 
> A void type would be useful for bizarre functions like f : int ->
> void this would mean that f never returns normally, i.e. that it
> loops indefinitely, or calls exit (to stop the entire program), or
> throws an exception but never returns.

And even then

  f : int -> 'a

may be more appropriate.

My 0.02¤,
ChriS