Re: Additions to the FFI API

[Marcin 'Qrczak' Kowalczyk]

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

> It would be fine to have a `typedef void *HsStablePtr'.  But it is important
> that you do not lose static type information when exporting Haskell functions
> to C.  So a parameter of type `StablePtr Int' on the Haskell side should get
> converted to a pointer to an opaque struct type, e.g. `struct HsStablePtrInt *'
> in C, not to just plain `HsStablePtr'.

What would StablePtr (b -> [Maybe Int] -> IO (Integer, b)) map to?

> > BTW, Ptr is probably not fully polymorphic, e.g.
> > what should be the mapping for
> > 
> >    Ptr (b -> [Maybe Int] -> IO (Integer, b))
> > ?
> 
> It should be a pointer to whatever the mapping for
> `b -> [Maybe Int] -> IO (Integer, b)' is.

There is no mapping for the latter type.

What woyld GtkText* map to? GtkText is a typedef to an opaque struct.

-- 
 __("<    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-