Re: GHC core plugins

2010-01-29 Thread Simon Marlow
On 29/01/10 09:32, José Pedro Magalhães wrote: Hi, 2010/1/28 Max Bolingbroke mailto:batterseapo...@hotmail.com>> 2010/1/28 José Pedro Magalhães mailto:j...@cs.uu.nl>>: > Yes, that helped quite a lot. One last thing: currently it takes me about 6 > minutes to rebuild the compil

Re: GHC core plugins

2010-01-29 Thread José Pedro Magalhães
Hi, 2010/1/28 Max Bolingbroke > 2010/1/28 José Pedro Magalhães : > > Yes, that helped quite a lot. One last thing: currently it takes me about > 6 > > minutes to rebuild the compiler after I change the core pass. Are there > any > > tricks of the build system I can use to speed this up? I'm alre

Re: GHC core plugins

2010-01-28 Thread Max Bolingbroke
2010/1/28 José Pedro Magalhães : > Yes, that helped quite a lot. One last thing: currently it takes me about 6 > minutes to rebuild the compiler after I change the core pass. Are there any > tricks of the build system I can use to speed this up? I'm already using a > fast build without optimization

Re: GHC core plugins

2010-01-28 Thread José Pedro Magalhães
Hi Max, 2010/1/27 Max Bolingbroke > 2010/1/27 José Pedro Magalhães : > > 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? > > I re

Re: GHC core plugins

2010-01-27 Thread austin s
On Wed, Jan 27, 2010 at 10:24 AM, austin s wrote: > 2010/1/27 Simon Peyton-Jones : >> | Also, is Hoopl expected to be used on core -> core plugins, and, if so, is >> | the >> | infrastructure in place for this? >> >> no, Hoopl works on imperative control flow graphs, the C-- part of the back >> e

RE: GHC core plugins

2010-01-27 Thread Simon Peyton-Jones
| Also, is Hoopl expected to be used on core -> core plugins, and, if so, is | the | infrastructure in place for this? no, Hoopl works on imperative control flow graphs, the C-- part of the back end, not on Core. Simon ___ Glasgow-haskell-users mailing

Re: GHC core plugins

2010-01-27 Thread Daniel Peebles
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 Ty

Re: GHC core plugins

2010-01-27 Thread 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 thi

Re: GHC core plugins

2010-01-27 Thread José Pedro Magalhães
8 > | 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). Howe

RE: GHC core plugins

2010-01-26 Thread Simon Peyton-Jones
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

Re: GHC core plugins

2010-01-26 Thread Max Bolingbroke
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 tha