Creating stubs statically

Iavor Diatchki iavor.diatchki at
Thu Jul 5 22:11:41 CEST 2012

Hi Paolo,

I agree that this would be useful.  In fact, a couple of years ago I
implemented this in GHC, but after some discussion folks were not convinced
that it's a good idea.  I don't remember the details but as far as I recall
we "agreed to disagree" :-)   The e-mail thread is over here:

The patch should be there too, but I suspect that GHC has moved on since
than, but perhaps there's still something useful there.


On Thu, Jul 5, 2012 at 5:13 AM, Paolo Capriotti <p.capriotti at>wrote:

> As explained in detail here:
> it may be useful to have a form of foreign declaration that creates a
> static stub for a haskell function without exporting a symbol.
> Here is a ticket for that:
> .
> It is not particularly clear how such a declaration would look like
> syntactically. In the ticket I proposed the following:
>     foreign import ccall myCallbackPtr :: FunPtr (IO ()) = myCallback
> but please do suggest better alternatives.
> It would also be useful to see some use cases of this new form of
> declaration. Library binding authors: would this be a welcome addition
> for you?
> BR,
> Paolo
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Glasgow-haskell-users mailing list