simonpj at microsoft.com
Thu Feb 22 05:26:03 EST 2001
What became of this suggestion of Sven's? Did we adopt it?
(While deprecating but not dropping Addr.)
| -----Original Message-----
| From: Sven Panne [mailto:Sven.Panne at informatik.uni-muenchen.de]
| 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:
| : ...
| | '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
| 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.
| FFI mailing list
| FFI at haskell.org
More information about the FFI