Inlining Wiki Page

Gabor Greif ggreif at
Thu Jan 12 16:36:03 UTC 2017

Hello Tim!

I had a pet inlining ticket, which exposes some frivolous blowup:

It has been closed because nobody really knows how to proceed.

Anyway, I have just got the latest stats (appending to the ticket too)

$ ls -l ./libraries/time/dist-install/build/Data/Time/Format.*o
-rw-r--r-- 1 ggreif lb40 482568 Jan 12 16:24
-rw-r--r-- 1 ggreif lb40 514776 Jan 12 16:24

$ wc -l ./libraries/time/lib/Data/Time/Format.hs
254 ./libraries/time/lib/Data/Time/Format.hs
$ strip ./libraries/time/dist-install/build/Data/Time/Format.*o
$ ls -l ./libraries/time/dist-install/build/Data/Time/Format.*o
-rw-r--r-- 1 ggreif lb40 201512 Jan 12 17:26
-rw-r--r-- 1 ggreif lb40 187712 Jan 12 17:26

$ ghc -e "187712/254"

As you can see a single line of Format.hs gets compiled to 739 stripped bytes.

Maybe you are inclined to put this ticket on the Wiki list too?



On 1/11/17, Tim McGilchrist <timmcgil at> wrote:
> Hi Matt,
> I noted this down last year as something I wanted to work on for this year.
> Just letting you know that I'm starting to look at some of the easier
> tickets in that page.
> Is there a good person or place to ask questions if I get stuck on
> anything?
> Cheers,
> Tim
> On Thursday, 4 August 2016, Matthew Pickering <matthewtpickering at>
> wrote:
>> Dear Devs,
>> I've spent the last day looking at the inliner. In doing so I updated
>> the wiki page about inlining to be a lot more useful to other people
>> wanting to understand the intricacies and problems.
>> This looks like the perfect place for a newcomer to start working on
>> GHC. The inliner is quite well contained, there are lots of open
>> tickets with well-specified aims and lots of investigatory work to be
>> done.
>> So the purpose of this email is:
>> 1. Please tag any tickets relevant to inlining/specialisation with
>> "Inlining"
>> 2. Any newcomers keen to get involved should read the wiki page and
>> see if they can tackle one of the tickets there.
>> Matt
>> _______________________________________________
>> ghc-devs mailing list
>> ghc-devs at <javascript:;>

More information about the ghc-devs mailing list