Re: Additions to the FFI API

[Manuel M. T. Chakravarty]

[EMAIL PROTECTED] (Marcin 'Qrczak' Kowalczyk) wrote,

> 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).

Oh, sorry, I forgot to mention that. newtypes should be
allowed in foreign calls, that was the idea.

GHC folks, would it be a problem to allow transparent
unwrapping of newtypes in foreign calls?

Cheers,
Manuel