Inhibiting the specialiser?

Conal Elliott conal at conal.net
Fri Sep 15 14:41:20 UTC 2017


Thanks! Exactly what I was looking for.

On Thu, Sep 14, 2017 at 8:30 PM, Harendra Kumar <harendra.kumar at gmail.com>
wrote:

> As per the GHC manual, it should be -fno-specialise for disabling all
> specialization, and -fno-cross-module-specialise for disabling only the
> specialization of imported INLINABLE functions. Both of these flags are
> "on" when using -O and -O2.
>
> -harendra
>
> On 15 September 2017 at 07:15, Conal Elliott <conal at conal.net> wrote:
>
>> Is there a GHC flag for inhibiting the specializer (but not all
>> optimizations)? I'm seeing huge output from the Specialise phase killed at
>> 4GB and growing. The output starts as follows:
>>
>> Result size of Specialise
>>   = {terms: 29,639, types: 10,921,552, coercions: 4,425,185}
>>
>> Sounds like a lot to me. Is it?. I get this behavior with -O2 and with -O.
>>
>> -- Conal
>>
>> _______________________________________________
>> Glasgow-haskell-users mailing list
>> Glasgow-haskell-users at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/glasgow-haskell-users/attachments/20170915/1c4fb6fa/attachment.html>


More information about the Glasgow-haskell-users mailing list