RE: Panic when building head with profiling

2008-12-09 Thread Simon Peyton-Jones
FWIW, I found a few mins to understand this problem a bit more. SCCfinal assumes that CorePrep produces something like this x = \y1..yn. scc "foo" body (See slurpSCCs in line237-ish of SCCfinal.) But CoreUtils.eta_expand produces something more like x = scc "foo" (\y1..yn. bo

patch applied (ghc): Improve documentation for data family instances (cf Trac #1968)

2008-12-09 Thread Simon Peyton Jones
Tue Dec 9 21:44:32 PST 2008 [EMAIL PROTECTED] * Improve documentation for data family instances (cf Trac #1968) The HEAD allows GADT syntax for data/newtype family instances. (GHC 6.10 does not seem to.) M ./docs/users_guide/glasgow_exts.xml -13 +47 View patch online: http://da

patch applied (ghc): Make some profiling flags dynamic

2008-12-09 Thread Ian Lynagh
Tue Dec 9 15:01:57 PST 2008 Ian Lynagh <[EMAIL PROTECTED]> * Make some profiling flags dynamic In particular: -fauto-sccs-on-all-toplevs -auto-all -no-auto-all -fauto-sccs-on-exported-toplevs -auto -no-auto -fauto-sccs-on-individual-cafs -caf-all

patch applied (ghc): Fix warnings in StgCmmGran

2008-12-09 Thread Ian Lynagh
Tue Dec 9 14:24:13 PST 2008 Ian Lynagh <[EMAIL PROTECTED]> * Fix warnings in StgCmmGran M ./compiler/codeGen/StgCmmGran.hs -14 +3 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081209222413-3fd76-7d6a475bc0d8d059e48ee2f569c54546cf7217f4.gz __

patch applied (ghc-6.10/ghc): Merge some of the #2847 fixes to the 6.10 branch

2008-12-09 Thread Ian Lynagh
Tue Dec 9 13:18:54 PST 2008 Ian Lynagh <[EMAIL PROTECTED]> * Merge some of the #2847 fixes to the 6.10 branch The patches didn't merge cleanly. I've only made the notFollowedByPragmaChar fix to the OPTIONS pragma. M ./compiler/parser/Lexer.x -4 +8 View patch online: http://darcs

patch applied (testsuite): Add a test that we ignore OPTIONS_HUGS pragmas

2008-12-09 Thread Ian Lynagh
Tue Dec 9 11:11:14 PST 2008 Ian Lynagh <[EMAIL PROTECTED]> * Add a test that we ignore OPTIONS_HUGS pragmas M ./tests/ghc-regress/parser/should_compile/all.T +1 A ./tests/ghc-regress/parser/should_compile/read067.hs View patch online: http://darcs.haskell.org/testsuite/_darcs/patches/

patch applied (testsuite): Add a test for trac #2847: Parsing OPTIONS_NO_SUCH_PRAGMA pragma

2008-12-09 Thread Ian Lynagh
Tue Dec 9 11:08:22 PST 2008 Ian Lynagh <[EMAIL PROTECTED]> * Add a test for trac #2847: Parsing OPTIONS_NO_SUCH_PRAGMA pragma M ./tests/ghc-regress/parser/should_compile/all.T +1 A ./tests/ghc-regress/parser/should_compile/read066.hs A ./tests/ghc-regress/parser/should_compile/read

patch applied (ghc): Add OPTIONS_CATCH,DERIVE,YHC to those that GHC knows about; trac #2847

2008-12-09 Thread Ian Lynagh
Tue Dec 9 11:17:24 PST 2008 Ian Lynagh <[EMAIL PROTECTED]> * Add OPTIONS_CATCH,DERIVE,YHC to those that GHC knows about; trac #2847 M ./compiler/parser/Lexer.x -1 +1 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081209191724-3fd76-21ca6786b38198acb9ec0548ee140a621558d66

patch applied (ghc): Fix warnings in CgHpc

2008-12-09 Thread Ian Lynagh
Tue Dec 9 11:17:13 PST 2008 Ian Lynagh <[EMAIL PROTECTED]> * Fix warnings in CgHpc M ./compiler/codeGen/CgHpc.hs -10 +3 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081209191713-3fd76-ca98a22fead67909cf5198960a6411d9d1e4807a.gz

patch applied (ghc): Parse pragma names better; trac #2847

2008-12-09 Thread Ian Lynagh
Tue Dec 9 11:03:18 PST 2008 Ian Lynagh <[EMAIL PROTECTED]> * Parse pragma names better; trac #2847 We require that pragma names are not followed by pragma character, defined as isAlphaNum c || c == '_' M ./compiler/parser/Lexer.x -21 +36 View patch online: http://darcs.haskell.o

patch applied (ghc): Fix warnings in CgParallel

2008-12-09 Thread Ian Lynagh
Tue Dec 9 10:44:02 PST 2008 Ian Lynagh <[EMAIL PROTECTED]> * Fix warnings in CgParallel M ./compiler/codeGen/CgParallel.hs -10 +7 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081209184402-3fd76-2190dd20effa2b9c8518eff7d730ad8fd6e3b08c.gz __

patch applied (ghc): Fix warnings in StgCmmHpc

2008-12-09 Thread Ian Lynagh
Tue Dec 9 10:40:04 PST 2008 Ian Lynagh <[EMAIL PROTECTED]> * Fix warnings in StgCmmHpc M ./compiler/codeGen/StgCmmHpc.hs -11 +1 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081209184004-3fd76-eed2947196e35ee9935df05b01a3b4e7ade8290f.gz

patch applied (ghc): Remove an unnecessary -w flag

2008-12-09 Thread Ian Lynagh
Tue Dec 9 10:38:12 PST 2008 Ian Lynagh <[EMAIL PROTECTED]> * Remove an unnecessary -w flag M ./compiler/codeGen/Bitmap.hs -7 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081209183812-3fd76-6a2b39d8081daeeff4494e6761b584b1184dc1ea.gz ___

Re: patch applied (ghc): Add assertion for arity match (checks Trac #2844)

2008-12-09 Thread Neil Mitchell
Hi Simon, > On Windows (MSYS) I get several failures that I'm pretty sure have been there > for a while. They seem to relate to things like 'printf' not existing. That > makes it harder to interpret a Windows validate run. > > I wonder if someone (Neil? Ian?) might investigate? I've no longer

patch applied (ghc): Fix Trac #2861: bogus eta expansion

2008-12-09 Thread Simon Peyton Jones
Tue Dec 9 09:03:02 PST 2008 [EMAIL PROTECTED] * Fix Trac #2861: bogus eta expansion Urghlhl! I "tided up" the treatment of the "state hack" in CoreUtils, but missed an unexpected interaction with the way that a bottoming function simply swallows excess arguments. There's a long

Re: Panic when building head with profiling

2008-12-09 Thread Thomas Schilling
Here's another bug, most likely related to your changes, too. http://hackage.haskell.org/trac/ghc/ticket/2862 This is in the bytecode generator. 2008/12/9 Simon Peyton-Jones <[EMAIL PROTECTED]>: > what are your devel2 flags? The ones in build.mk.sample look like: > > ifeq "$(BuildFlavour)" "dev

Re: Daily report for stable

2008-12-09 Thread Ian Lynagh
On Tue, Dec 09, 2008 at 09:59:47AM +, Simon Marlow wrote: > Ian Lynagh wrote: > >On Mon, Dec 08, 2008 at 12:31:40PM +, Simon Marlow wrote: > >>I think the tables in the HTML output are missing the elements - I > >>don't see any line breaks in Thunderbird, and viewing the HTML in firefox

patch applied (/srv/home/buildbot/buildbot-collator): Add a space between columns of tables in text mode

2008-12-09 Thread Ian Lynagh
Tue Dec 9 04:22:03 PST 2008 Ian Lynagh <[EMAIL PROTECTED]> * Add a space between columns of tables in text mode M ./Output.hs -1 +1 View patch online: http://darcs.haskell.org//srv/home/buildbot/buildbot-collator/_darcs/patches/20081209122203-3fd76-9a10cbb6dd4c9a1aabbab8fa5ebe866e3a012971

patch applied (ghc): Fix #2592: do an orderly shutdown when the heap is exhausted

2008-12-09 Thread Simon Marlow
Tue Dec 9 02:59:19 PST 2008 Simon Marlow <[EMAIL PROTECTED]> * Fix #2592: do an orderly shutdown when the heap is exhausted Really we should be raising an exception in this case, but that's tricky (see comments). At least now we shut down the runtime correctly rather than just exiting.

patch applied (ghc): Fix #2848: avoid overflow during time calculation

2008-12-09 Thread Simon Marlow
Tue Dec 9 02:56:00 PST 2008 Simon Marlow <[EMAIL PROTECTED]> * Fix #2848: avoid overflow during time calculation M ./rts/posix/Itimer.c -3 +4 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081209105600-12142-c931a35e1931cea95030c0a2b265e8f93ca857d4.gz __

patch applied (ghc): Fix #2838: we should narrow a CmmInt before converting to ImmInteger

2008-12-09 Thread Simon Marlow
Tue Dec 9 02:55:15 PST 2008 Simon Marlow <[EMAIL PROTECTED]> * Fix #2838: we should narrow a CmmInt before converting to ImmInteger M ./compiler/cmm/CmmExpr.hs +19 M ./compiler/cmm/CmmOpt.hs -17 M ./compiler/nativeGen/MachRegs.lhs -1 +4 View patch online: http://darcs.haskell.org/

patch applied (ghc): fix an assertion failure in prof/threaded/debug mode

2008-12-09 Thread Simon Marlow
Thu Dec 4 02:12:01 PST 2008 Simon Marlow <[EMAIL PROTECTED]> * fix an assertion failure in prof/threaded/debug mode M ./rts/sm/Evac.c +4 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20081204101201-12142-28e219b763a669593a6de35dbbf39498bbf0fbb0.gz ___

RE: patch applied (ghc): Add assertion for arity match (checks Trac #2844)

2008-12-09 Thread Simon Peyton-Jones
| Hooray for the testsuite and validate: out of 2000+ tests, there was | exactly 1 (ONE) that demonstrated this bug, and it was in a test for the | System.Random library of all things. This serves as a reminder to all of | us: any test failure should be treated as suspicious, even if it doesn't |

Re: patch applied (ghc): Add assertion for arity match (checks Trac #2844)

2008-12-09 Thread Simon Marlow
Simon Peyton Jones wrote: Mon Dec 8 09:32:41 PST 2008 [EMAIL PROTECTED] * Add assertion for arity match (checks Trac #2844) The exported arity of a function must match the arity for the STG function. Trac #2844 was a pretty obscure manifestation of the failure of this invariant. Th

Re: Panic when building head with profiling

2008-12-09 Thread Simon Marlow
Thomas Schilling wrote: Ok, rebuilding from scratch doesn't help. The message is almost the same, though the file may be obscured due to make -j3. With just make the actual failure is (unsurprisingly) in dist-stage2/build/BinIface.p_hi. Apparently there's a do_expr case missing for StgLam in s

Re: Daily report for stable

2008-12-09 Thread Simon Marlow
Ian Lynagh wrote: On Mon, Dec 08, 2008 at 12:31:40PM +, Simon Marlow wrote: I think the tables in the HTML output are missing the elements - I don't see any line breaks in Thunderbird, and viewing the HTML in firefox shows the same thing. Yup; I fixed it yesterday, but forgot to recompil

Daily report for stable

2008-12-09 Thread BuildBot Collator
Build results: tnaur PPC OSX stable 2: pass tnaur x86 Linux stable: pass x86 Linux stable: pass x86 Windows stable fast:pass pass pass pass pass pass fail (failed getsubrepos) x86-64 Linux stable:pass Old unexpected test passes: break0187tnaur PPC OSX stable 2 New unexpected test f