May 2016 - ghc-devs - Haskell.org

Looking for GHC compile-time performance tests
by Ben Gamari 05 May '16

05 May '16

tl;dr. Do you have a Haskell project which GHC now compiles more slowly than in the past? If you would like to see your program's compilation time improve in 8.2, reduce it to a minimal testcase, and provide it to us via Trac. Good news everyone, GHC 8.2 will be a release largely targetting consolidation instead of new features. In particular, we will focus on compiler performance issues. One of the challenges of this task is knowing in which ways GHC has regressed. It is currently hard to know how much of the apparent compiler performance regression is due to GHC getting slower and how much is due to users demanding more of it. To better understand the performance of our compiler, we would like to collect modern Haskell code samples that exhibit compile-time performance issues (either regressions or otherwise). For this we are asking for your help: we are looking for projects that, * are small-to-moderate-sized Haskell programs which you believe have regressed in compile time in the last few GHC releases * have minimal build dependencies, in the ideal case none outside of the standard GHC boot libraries * can be licensed for use under 3-clause BSD In some cases we may also be able to make use of examples with a few library dependencies that are necessary to demonstrate the performance issue (for instance, a suspected issue stemming from stream fusion requiring Conduit). For performance issues exhibiting non-linear scaling in some quantity (e.g. the size of a type in the program), it would be extremely helpful if the testcase exposed a "knob" demonstrating this scaling. So, if you would like to see your program's compilation time improve in GHC 8.2, put some time into reducing it to something minimal, submit it to us via a Trac ticket, and let us know in this thread. Thanks for your help! Cheers, - Ben

1 0

[Action Needed] Document your work for the Haskell Communities and Activities Report
by Ben Gamari 05 May '16

05 May '16

TL;DR. If you see your name in one of the two lists below, please edit the entries for your contributions to 8.0 and plans for 8.2 in the 2016 GHC HCAR report [1]. The deadline is in a few short weeks so act soon! Hello GHC people, As you might know, it's that time of the year where we have an opportunity to reflect on the past and future strides taken by our glorious compiler in GHC's Haskell Communities and Activities Report submission [1]. We have had lots of great work go in to the imminent 8.0.1 release; let's make sure the community knows about it. Currently listed is, Adam Gundry Record system improvements Adam Sandberg Eriksson Strict pragma Duncan Coutts Environment files? Edward Z. Yang Backpack improvements Eric Seidel Implicit callstacks Eric de Casto Lopo ARM support George Karachalias Pattern match checker rewrite Herbert V. Riedel AIX support Jan Stolarek Injective type families Richard Eisenberg Visible type application, kind equalities Ryan Scott Improved Generics, DerivingLift Sergei Trofimovich Portability Simon Marlow Applicative do syntax, external GHCi Tamar Christina Windows improvements While Austin and I have done our best to stub out these entries, we need your help to fill in the details. If you see your name in this list please look at the current draft [1] and add what you can. Also, if you see anything missing from this list please let us know or, better yet, add an entry to the submission yourself. Also, if you are planning on including any major changes in the 8.2 release, please add an entry to the "upcoming plans" section. As far as I know at very least the following people should have interesting things to share, Andrew Farmer Profiler improvements Andrey Mokhov Shake build system Austin Seipp LLVM backend Bartosz Nikita Deterministic compilation Core Libs Committee Core libraries changes Edward Yang Backpack, Compact regions Giovanni Campagna Compact regions Simon Marlow Various things I'm sure Ömer Sinan Ağacan Unboxed sums, unpacking sum types Again, if you know of someone not on this list who is considering contributing to 8.2 please have them add their item to the report. If there is any way that Austin or I can help don't hesitate to reach out. Thanks for your contributions over the last year! Cheers, - Ben [1] https://ghc.haskell.org/trac/ghc/wiki/Status/May16

1 1

Re: [Haskell-cafe] Call for Contributions - Haskell Communities and Activities Report, May 2016 edition (30th edition)
by Ben Gamari 05 May '16

05 May '16

Ben Gamari <ben(a)well-typed.com> writes: > [ Unknown signature status ] > Mihai Maruseac <mihai.maruseac(a)gmail.com> writes: > >> Dear all, >> >> It's that time of the year again (https://ro-che.info/ccc/16) :) >> >> We would like to collect contributions for the 30th edition of the >> > Hello Mihai, > > Here is GHC's contribution to the current HCAR. Let me know if you'd > like me to make any revisions. Sorry for the late submission! > Hi Mihai, If possible, it would be great if you could instead use this revised HCAR text as GHC's submission. This includes a few late amendments that would be nice to have. Cheers, - Ben

1 0

Generics performance
by Ben Gamari 05 May '16

05 May '16

Hi Ryan! As you may know, we are encouraging contributors to view the 8.2 release as a consolidation release, using it as an opportunity to optimize, stabilize, document, and refine existing features instead of introducing new ones. It seems like there is plenty of optimization that could be done in your area of generics. In particular #5642 and #11991 are quite relevant and have been felt by a fair number of users. While compiling derived Generic instances can necessarily produce quadratic code (see ticket:5642#comment:8), the costs that we are seeing do seem a bit high so perhaps there are some constant factors that we can knock down. However, working this out will require a concerted effort. Would you be interested in picking up this issue as a task for 8.2? Cheers, - Ben

1 0

Draft 8.0 Mac build directions
by Carter Schonwald 04 May '16

04 May '16

Hey all: I've drafted some hopefully cleaner Mac build directions and I'd love some feedback on them Nb: I think I forgot to mention the cabal install hscolour step, I'll add that -Carter

5 9

Bikeshedding request for GHCi's :type
by Richard Eisenberg 03 May '16

03 May '16

Hi devs, Over the weekend, I was pondering the Haskell course I will be teaching next year and shuddered at having to teach Foldable at the same time as `length`. So I implemented feature request #10963 (https://ghc.haskell.org/trac/ghc/ticket/10963) which allows for a way for a user to request a specialization of a type. It all works wonderfully, but there is a real user-facing design issue here around the default behavior of :type and whether or not to add new :type-y like commands. I have outlined the situation here: https://ghc.haskell.org/trac/ghc/wiki/Design/GHCi/Type I'd love some broad input on this issue. If you've got a stake in how this all works, please skim that wiki page and comment on #10963. Thanks! Richard

7 7

GHC nightly builds?
by Iavor Diatchki 02 May '16

02 May '16

Hello, do we have nightly builds for development versions of GHC somewhere? -Iavor

3 2

Re: GHC nightly builds?
by Ryan Scott 02 May '16

02 May '16

Herbert has an Ubuntu PPA with a ghc-head package that is built on a regular basis: https://launchpad.net/~hvr/+archive/ubuntu/ghc Best, Ryan S.

1 0

Reverted your commit
by Simon Peyton Jones 01 May '16

01 May '16

Simon I reverted your commit https://phabricator.haskell.org/rGHC546f24e4f8a7c086b1e5afcdda624176610cbcf8 because it made every single binary that GHC builds seg-fault on windows. Even main = return () seg-faults. You may want to review and re-commit it. Simon commit 24864ba5587c1a0447beabae90529e8bb4fa117a Author: Simon Marlow <marlowsd(a)gmail.com> Date: Sat Apr 23 22:14:43 2016 +0100 Use __builtin_clz() to implement log_2() A microoptimisation in the block allocator.

3 2