ANN: H98 FFI Addendum 1.0, Release Candidate 10

Alastair Reid alastair at reid-consulting-uk.ltd.uk
Thu Jun 5 05:43:49 EDT 2003


ok, I'm convinced.  The semantics of empty datatypes can be a type inhabited 
only by bottom.

Hugs implements exactly that.

[Except in the special case of a few magical names (Int, Float, etc) when they 
occur in the Prelude (and only then).  Since it is only usable in the 
Prelude, they can be treated as an internal detail and ignored.]

--
Alastair



More information about the FFI mailing list