ANN: H98 FFI Addendum 1.0, Release Candidate 10

[Fergus Henderson]

On 02-Jun-2003, Alastair Reid <alastair at reid-consulting-uk.ltd.uk> 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 <fjh at cs.mu.oz.au>  |  "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.