ANN: H98 FFI Addendum 1.0, Release Candidate 9

Ross Paterson ross at soi.city.ac.uk
Wed May 21 10:33:17 EDT 2003


Some typos:

2 Lexical Structure: "import" shouldn't be a specialid (it's a Haskell 98
	reserved word).
5.2 Bits, shift, rotate: replace last sentence to say that for unbounded
	types (e.g., Integer) rotate is equivalent to shift.
5.2 Bits, definition of bitSize: "have a have a"
5.3 Int and Word: "all type classes for which Int has an instance, this
	includes the class Bits" isn't right: it includes user-defined
	instances.  I'd suggest "the class Bits and all type classes
	for which Int has an instance in the Haskell 98 Prelude and
	standard libraries".
5.5 ForeignPtr: last sentence of first para isn't quite right, as the
	finalizer is now in the foreign language.
5.5 newForeignPtr: the third sentence is missing some words, probably
	"is passed".
5.6 StablePtr, data StablePtr a: the 2nd and 3rd sentences aren't quite
	right: ForeignPtr a is no longer an instance of Storable, and
	nor is StablePtr a.  (But if someone made it so, the behaviour
	would be perfectly well defined.)  Better to drop these two
	sentences and just say it's not an instance of Storable.
5.8 MarshallAlloc, last para: missing "the" in the first sentence.
Table 2: delete HsForeignPtr (not a basic foreign type)

and a query: why are there conversions between StablePtr a and (Fun)Ptr a,
and HsStablePtr constrained to (void *)?



More information about the FFI mailing list