Re: parallel cost-centre profiling

2010-03-17 Thread Simon Marlow
On 16/03/2010 19:34, Henrique Ferreiro wrote: Hello! I am trying to make cost centre profiling work in the threaded rts build in order to use that information to better understand parallel behaviour. Currently I am learning about the internals of GHC and I am thinking about how this could be

Re: Optimizing the placement of heap checks (trac #1498)

2010-03-17 Thread Simon Marlow
On 15/03/2010 18:35, David Peixotto wrote: I have some questions after starting to look at implementing an optimization in the GHC back end related to Trac ticket #1498[1,2]. The goal of the optimization is to eliminate unnecessary heap checks in recursive functions. Great! Now we have a

Re: building ghc needs ghci?

2010-03-17 Thread Matthias Kilian
On Wed, Mar 17, 2010 at 11:25:30AM +1100, Roman Leshchinskiy wrote: I've a patch which removes DPH from ghc-head, and a merge which removes it from ghc-6.12, and I could successfully build Unfortunately, we can't remove DPH from the boot packages yet. However, as I suggested in my previous

Re: building ghc needs ghci?

2010-03-17 Thread Roman Leshchinskiy
On 17/03/2010, at 23:40, Matthias Kilian wrote: On Wed, Mar 17, 2010 at 11:25:30AM +1100, Roman Leshchinskiy wrote: I've a patch which removes DPH from ghc-head, and a merge which removes it from ghc-6.12, and I could successfully build Unfortunately, we can't remove DPH from the boot

RE: Optimizing the placement of heap checks (trac #1498)

2010-03-17 Thread Simon Peyton-Jones
David It would indeed be good to work on this. Moreover, I know exactly how! Indeed a Cambridge undergrad, Krzysztof Wos, may do this very thing in his undergrad project. If he has time, which is not certain. I'm ccing him. I've just dumped in some notes about the new back end status here

patch applied (ghc): Fix Trac #3920: Template Haskell kinds

2010-03-17 Thread Simon Peyton Jones
Wed Mar 17 05:35:19 PDT 2010 simo...@microsoft.com * Fix Trac #3920: Template Haskell kinds Fix two places where we were doing foldl instead of foldr after decomposing a Kind. Strange that the same bug appears in two quite different places! M ./compiler/deSugar/DsMeta.hs -1 +1

patch applied (testsuite): Add test for Trac #3920

2010-03-17 Thread Simon Peyton Jones
Wed Mar 17 05:37:57 PDT 2010 simo...@microsoft.com * Add test for Trac #3920 A ./tests/ghc-regress/th/T3920.hs A ./tests/ghc-regress/th/T3920.stdout M ./tests/ghc-regress/th/all.T +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org

patch applied (testsuite): Accept change in inline pragma format

2010-03-17 Thread Simon Peyton Jones
Wed Mar 17 06:34:05 PDT 2010 simo...@microsoft.com * Accept change in inline pragma format M ./tests/ghc-regress/simplCore/should_compile/spec-inline.stderr -2 +2 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org

Re: building ghc needs ghci?

2010-03-17 Thread Matthias Kilian
On Wed, Mar 17, 2010 at 11:49:12PM +1100, Roman Leshchinskiy wrote: DPH is already built by stage 2. You were getting errors from the stage 2 compiler which didn't support ghci. Here is the error message from your original posting: Oh, then I got confused by my different builds here. In this

Re: building ghc needs ghci?

2010-03-17 Thread Simon Marlow
On 16/03/2010 22:01, Matthias Kilian wrote: On Mon, Mar 15, 2010 at 09:50:41AM +, Simon Marlow wrote: Does anyone here care about portability? Some time ago (about three years) someone told me that portability is an imporant goal for ghc. Given that you now even need ghci to build ghc, this

Re: patch applied (ghc): Add a link-time flag to en/disable the RTS options

2010-03-17 Thread Ian Lynagh
On Wed, Mar 17, 2010 at 12:27:44PM +1100, Ben Lippmeier wrote: On 17/03/2010, at 12:15 AM, Ian Lynagh wrote: On Tue, Mar 16, 2010 at 02:43:46PM +1100, Ben Lippmeier wrote: A boatload of tests are now failing for me under OSX Is your testsuite repo up-to-date? Yep. Do you

patch applied (ghc): Don't use -Bsymbolic when linking the RTS

2010-03-17 Thread Ian Lynagh
Tue Mar 16 16:33:57 PDT 2010 Ian Lynagh ig...@earth.li * Don't use -Bsymbolic when linking the RTS This makes the RTS hooks work when doing dynamic linking M ./compiler/main/DriverPipeline.hs -1 +10 M ./rts/ghc.mk -2 +2 ___ Cvs-ghc mailing

Re: patch applied (ghc): Add a link-time flag to en/disable the RTS options

2010-03-17 Thread Ian Lynagh
On Mon, Mar 15, 2010 at 06:44:06PM -0400, Isaac Dupree wrote: On 03/15/10 05:42, Simon Marlow wrote: On 13/03/2010 20:14, Ian Lynagh wrote: Sat Mar 13 07:45:55 PST 2010 Ian Lynaghig...@earth.li * Add a link-time flag to en/disable the RTS options If RTS options are disabled then: * The

Re: [nightly] 15-Mar-2010 build of HEAD on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com)

2010-03-17 Thread Ian Lynagh
On Tue, Mar 16, 2010 at 09:53:28AM +, Simon Marlow wrote: On 16/03/2010 01:07, GHC Build Reports wrote: Unexpected failures: 2047(dyn) [...] most of these failures are because -rtsopts appears to not be working with -dynamic. Ian, any idea what the problem is there? Should be

Help With GHC Extension

2010-03-17 Thread Matt Brown
Hi All, I've been experimenting with an idea to allow matching instances by context. The basic idea is to allow duplicate instance declarations, then select the best instance during simplification (in typecheck/Inst.lhs:lookupPred specifically). I'm not sure I have the right vocabulary to

Re: Optimizing the placement of heap checks (trac #1498)

2010-03-17 Thread David Peixotto
Hi Simon, Thanks for the response. I have a few comments below. On Mar 17, 2010, at 7:25 AM, Simon Marlow wrote: On 15/03/2010 18:35, David Peixotto wrote: 1) Does it still make sense to pursue these optimizations in the native code generator? Well, this transformation is something that

[nightly] 17-Mar-2010 build of HEAD on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com)

2010-03-17 Thread GHC Build Reports
Build description = HEAD on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com) Build location= /64playpen/simonmar/nightly/HEAD-cam-04-unx Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-04-unx Nightly build started on cam-04-unx at Wed Mar 17 19:00:02 GMT 2010.

[nightly] 17-Mar-2010 build of STABLE on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com)

2010-03-17 Thread GHC Build Reports
Build description = STABLE on x86_64-unknown-linux (cam-04-unx.europe.corp.microsoft.com) Build location= /64playpen/simonmar/nightly/STABLE-cam-04-unx Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-04-unx Nightly build started on cam-04-unx at Wed Mar 17 19:10:01 GMT

[nightly] 17-Mar-2010 build of HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com)

2010-03-17 Thread GHC Build Reports
Build description = HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com) Build location= /playpen/simonmar/nightly/HEAD Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-02-unx Nightly build started on cam-02-unx at Wed Mar 17 18:00:02 GMT 2010. checking