What became of this suggestion of Sven's? Did we adopt it?
(While deprecating but not dropping Addr.)
Simon
| -----Original Message-----
| From: Sven Panne [mailto:[EMAIL PROTECTED]]
| Sent: 11 February 2001 16:01
| To: The Happy Bit Fiddlers
| Subject: Typing f.e.d.
|
|
| I have a small change request regarding foreign export dynamic.
| Currently the FFI doc says:
|
| topdecl
| : ...
| ..
| | 'foreign' 'export' [callconv] 'dynamic' varid ::
| prim_type -> IO Addr
|
| GHC additionally allows:
|
| prim_type -> IO Ptr
|
| As usual the FFI "looks through" newtypes. But now that we have
| FunPtr, the following typing makes much more sense:
|
| 'foreign' 'export' [callconv] 'dynamic' varid :: prim_type
| -> IO (FunPtr prim_type)
|
| where both prim_types have to be the *same*. We should probably allow
| the old Addr-typing as well for some time to facilitate the
| transition,
| but not the Ptr-typing (bleeding edge people will know what to do :-).
| The corresponding changes to GHC look easy, so I'd like to commit this
| if there are no objections.
|
| Furthermore, the FFI docs still talk about Addr only, not Ptr/FunPtr.
| Now that Addr is deprecated, this should be changed, too.
|
| Cheers,
| Sven
|
| _______________________________________________
| FFI mailing list
| [EMAIL PROTECTED]
| http://www.haskell.org/mailman/listinfo/ffi
|
_______________________________________________
FFI mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/ffi
