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