Alright, ticket created: http://hackage.haskell.org/trac/ghc/ticket/3843 In any case, for now I am willing to hard-code a new core-to-core pass on the compiler. Any pointers for where I have to look at? Thanks, Pedro 2010/1/27 Simon Peyton-Jones

Yes, I apologise for being slow about this. A good idea would be to create a Trac ticket, so that people can register interest in having the patch by adding themselves to the cc list. The more people that want it, the higher up my priority list...

Better still if everyone adds a comment to the ticket to explain what their pass is like, and why they want the plugin feature.

Simon

| -----Original Message----- | From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow-haskell- | users-bounces@haskell.org] On Behalf Of Max Bolingbroke | Sent: 26 January 2010 18:38 | To: José Pedro Magalhães | Cc: GHC users | Subject: Re: GHC core plugins | | Hi José, | | The patch implementing GHC plugins is with Simon PJ and awaiting merge | into GHC (and has been for some time - he's a busy guy and its a big | patch). However, even once it's merged some more work will need to be | done to make sure that it plays nicely with the shared library support | (now that has been implemented on all major platforms). | | In short, the easiest way to add a pass to the compiler right now is | to download GHC and build it yourself | (http://hackage.haskell.org/trac/ghc/wiki/Building). Sorry! | | All the best, | Max | | 2010/1/26 José Pedro Magalhães : | > Hello all, | > | > What's the current status of GHC plugins [1] in HEAD? Can I use them? If | > not, what's the easiest way to add another core-to-core pass to the | > compiler? | > | > | > Thanks, | > Pedro | > | > [1] http://hackage.haskell.org/trac/ghc/wiki/Plugins | > | > _______________________________________________ | > Glasgow-haskell-users mailing list | > Glasgow-haskell-users@haskell.org | > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users | > | > | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

I hope it'll be possible :) I heard a general overview of the plugins infrastructure a few months ago and it sounded like what I'd need, but I was unable to find a very detailed account of how it works and what specific information is available to plugins, so maybe I'm just dreaming. 2010/1/27 Tyson Whitehead

On January 27, 2010 05:44:00 José Pedro Magalhães wrote:

...

Alright, ticket created: http://hackage.haskell.org/trac/ghc/ticket/3843

In any case, for now I am willing to hard-code a new core-to-core pass on the compiler. Any pointers for where I have to look at?

Just wondering a couple of things about core -> core plugins.

Is the second use case mentioned by pumpkingod there (tracking which rewrite rules are firing and when) actually possible using a core -> core plugin?

(it would be great to have this information fed into some sort of emacs plugin where one could drill down on specific functions to see what is happening)

Also, is Hoopl expected to be used on core -> core plugins, and, if so, is the infrastructure in place for this?

Thanks! -Tyson

_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users