Hi *, Here are some status updates for the past week, which have been a bit light. - I spent a bunch of time code reviewing things and merging patches this week. There are still things in Phabricator that need some review, so please review them if you get a chance! You will probably learn things and learning things is good. [1] - I spent more time getting a Windows builder working, and talking with upstream about it. I believe it should Basically Work, but unfortunately the changes for this have not gone upstream yet, so it will probably be a week or two before I can officially do that - I have spent some time fixing some bugs, and I'm posting a review for some shortly, notably 7602! Unrelated to what I in particular am doing Right Now: - I would still _really_ like help with the Applicative Monad patch; I haven't touched it much. Please pester me if you have some cycles to spare. Or just helping me brainstorm would be really really useful![2] - After some minor instability in the tree earlier this week (test failures), everything is back to normal (Thanks to Edward & Simon). Please ping here if you're still having trouble on your machine. - I still think we should turn on --slow mode for our buildbots soon, but this will cause noise. I'd really like some inputs on this - maybe someone would like to help clean up the 'slow' vaildate failures? Bonus points for this, since you don't even have to - Gabor Pali & I had a minor discussion this last week about fixing nightly documentation snapshots. We've had complaints about this in the past and the prior system totally disappeared, so it will be really nice to fix this! Binary snapshots should be possible too, but documentation is perhaps the more key thing. A little work is necessary for this though, and my time is limited as always. Please let me know if you'd like to help with this, and I'll pull you into the loop with Gabor so can tackle this. ---------------------------- I've probably forgotten some things other people have done the past week, including myself. If you have any questions, suggestions, or want to pop in on this email and say something, you should. :) [1] https://phabricator.haskell.org/differential/ [2] https://phabricator.haskell.org/D13 -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/
On Wed, Sep 3, 2014 at 3:31 PM, Austin Seipp
- I still think we should turn on --slow mode for our buildbots soon, but this will cause noise. I'd really like some inputs on this - maybe someone would like to help clean up the 'slow' vaildate failures? Bonus points for this, since you don't even have to
Hmmm, I accidentally the rest of this paragraph. To finish: Bonus points here, since you can leave most of the 'heavy lifting' to phabricator. I can just turn on --slow mode, you submit a patch, and Phabricator tells you if it works. :) And if you'd like to fix some problems but are shy, this might be a good place to start! (Tests are small, self contained, and should be easy to follow via the bug tracker - there shouldn't be *too* much to wade through to get started.) -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/
2014-09-03 22:31 GMT+02:00 Austin Seipp
- Gabor Pali & I had a minor discussion this last week about fixing nightly documentation snapshots. We've had complaints about this in the past and the prior system totally disappeared, so it will be really nice to fix this! Binary snapshots should be possible too, but documentation is perhaps the more key thing.
I have not followed up on it, but for your information, I have started building and publishing snapshots for the GHC documentation here: http://haskell.inf.elte.hu/docs/ It is based on the snapshots provided by the builders I have and it uses a script that is derived from the mkDocs utility in the source tree (under "distrib"). As a consequence, the method is a bit fragile, as it needs at least a Windows and non-Windows build to be built in order to extract and combine the files from them. Unfortunately, my Windows builders are not fully stable yet, although they deemed to be usable enough mostly.
That's great! Austin, can you fix the links on http://www.haskell.org/haskellwiki/GHC
so that the "current HEAD snapshot" link (currently dead) points to the right place?
thanks
Simon
| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of Páli
| Gábor János
| Sent: 03 September 2014 21:48
| To: Austin Seipp
| Cc: ghc-devs@haskell.org
| Subject: Re: Status updates
|
| 2014-09-03 22:31 GMT+02:00 Austin Seipp
On Wed, 3 Sep 2014 15:31:03 -0500
Austin Seipp
Hi *,
Here are some status updates for the past week, which have been a bit light.
Woot! Great list!
- I still think we should turn on --slow mode for our buildbots soon, but this will cause noise. I'd really like some inputs on this - maybe someone would like to help clean up the 'slow' vaildate failures? Bonus points for this, since you don't even have to
That's a great goal, but --slow enables compiler debug assertions, which seem to trigger real errors (full log of failures attached). I've filled tickets for some of those assertion failures. If someone more experienced in the area could guide us hints on how to fix them (CCed Simon PJ). If they all are non-issues please tell and I'll drop them. If they are real bugs I can try to debug them a bit and gather more info (maybe something specific is of interest?). Highlights: *** unexpected failure for T3500b(threaded2) =====> T3500b(dyn) 3766 of 4100 [0, 12, 0] cd ./typecheck/should_run && '/home/slyfox/dev/git/ghc-validate/bindisttest/install dir/bin/ghc' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history -o T3500b T3500b.hs -O -dynamic >T3500b.comp.stderr 2>&1 Compile failed (status 256) errors were: [1 of 1] Compiling Main ( T3500b.hs, T3500b.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.9.20140905 for x86_64-unknown-linux): Simplifier ticks exhausted When trying RuleFired foldr/augment To increase the limit, use -fsimpl-tick-factor=N (default 100) If you need to do this, let GHC HQ know, and what factor you needed To see detailed counts use -ddump-simpl-stats Total ticks: 12441 Is it bad? cd ./ghc-api && $MAKE -s --no-print-directory T8628 T8628.run.stdout 2>T8628.run.stderr Actual stderr output differs from expected: --- /dev/null 2014-08-25 09:46:54.593424088 +0300 +++ ./ghc-api/T8628.run.stderr 2014-09-05 22:49:20.705589132 +0300 @@ -0,0 +1,4 @@ +WARNING: file compiler/simplCore/SimplEnv.lhs, line 539 + Ghci3.$fShowX +WARNING: file compiler/simplCore/SimplEnv.lhs, line 539 + Ghci3.$fShowX *** unexpected failure for T8628(normal) This looks nasty. =====> tc124(hpc) 3135 of 4100 [0, 3, 0] cd ./typecheck/should_compile && '/home/slyfox/dev/git/ghc-validate/bindisttest/install dir/bin/ghc' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history -c tc124.hs -O -fhpc -hpcdir .hpc.tc124 -fno-warn-incomplete-patterns >tc124.comp.stderr 2>&1 Compile failed (status 256) errors were: *** Core Lint errors : in result of Simplifier *** <no location info>: Warning: In the type ‘a_12 -> a_aia -> a_aia’ @ a_12 is out of scope *** Offending Program *** Foo.f :: Foo.T -> (GHC.Types.Int, GHC.Types.Char) [LclIdX, Arity=1, Str=DmdType, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [20] 90 30}] .... This also looks scary. Thanks! -- Sergei
- I still think we should turn on --slow mode for our buildbots soon, but this will cause noise. I'd really like some inputs on this - maybe someone would like to help clean up the 'slow' vaildate failures? Bonus points for this, since you don't even have to
That's a great goal, but --slow enables compiler debug assertions, which seem to trigger real errors (full log of failures attached).
Also note that when debugging is on, tests that call `compiler_stats_num_field` are currently skipped https://github.com/ghc/ghc/blob/master/testsuite/driver/testlib.py#L305:L308. This applies to almost all tests in `tests/perf/compiler`.
participants (5)
-
Austin Seipp -
Páli Gábor János -
Sergei Trofimovich -
Simon Peyton Jones -
Thomas Miedema