Wed, 29 Mar 2000 00:52:32 -0800, Simon Marlow <[EMAIL PROTECTED]> pisze:
> > data CLDouble = CLD# Double# -- ugh, plain newtype won't work
> > if we transparently pass newtypes' contents through FFI :-o
>
> could you elaborate?
If we say that "newtype A = A B" is passed to and from foreign
functions in the same way as B, then newtypes can't be used to
distinguish types that have the same representation in Haskell
but differ in C...
...forget it. This rule will simply apply *unless* this is one of the
types that have a C equivalent. First check if this is a foreignable
type, then look inside the newtype only if the previous check failed.
--
__("< 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-