Re: Additions to the FFI API

[Marcin 'Qrczak' Kowalczyk]

Tue, 28 Mar 2000 20:14:26 +1000, Fergus Henderson <[EMAIL PROTECTED]> pisze:

> For type constructors like `->', `[]', and `Maybe', which (unlike
> StablePtr) don't have any C equivalent, I think you probably need
> to drop the structure, and just keep the top-level type constructor,
> thus mapping that type to just `struct HsStablePtrFunc *'.

What about StablePtr SomeUserDefinedTypeConstructor? There is no
corresponding C type defined anywhere.

> Still, just making sure that Haskell types with distinct top-level
> type constructors get mapped to distinct C types is probably enough
> to catch most of the type errors.

IMHO it's not worth the conceptual complication of such arbitrary
decisions. It's not typesafe anyway.

-- 
 __("<    Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
 \__/              GCS/M d- s+:-- a23 C+++$ UL++>++++$ P+++ L++>++++$ E-
  ^^                  W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP+ t
QRCZAK                  5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-