Re: Additions to the FFI API

[Marcin 'Qrczak' Kowalczyk]

Tue, 28 Mar 2000 18:25:27 +1000, Manuel M. T. Chakravarty <[EMAIL PROTECTED]> pisze:

> One idea that we discussed is that `GtkText*' would map to
> `Ptr GtkText', where `GtkText' is opaque und would indeed be 
> implemented as
> 
>   newtype GtkText = GtkText ()

And Ptr is what?

"type Ptr a = Addr" makes "Ptr a" the same as "Ptr b" for any a,b.

IMHO Haskell should allow newtypes in foreign calls (I'm only not sure
if it should require the constructor to be accessible).

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