On 02-Jun-2003, Alastair Reid <[EMAIL PROTECTED]> wrote:
> 
> I was just trying to show how to create a value of type
> T which might be bottom.  It would have been easier to use:
> 
>       t :: T
>       t = undefined

The same issue arises for ghc's unboxed types, of course.
ghc has some complicated extension to the type system to deal with it,
which makes examples like the one above type errors if T is an unboxed type.

-- 
Fergus Henderson <[EMAIL PROTECTED]>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
_______________________________________________
FFI mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/ffi

Reply via email to