[Haskell-cafe] Call pattern specialization limit messages

David Feuer david.feuer at gmail.com
Sat Jun 11 03:32:52 UTC 2016


When I compile Data.Sequence with -dppr-debug, I get several messages about
constructor specialization exceeding the call pattern limit. Things like

SpecConstr
    Function ‘$j_ssfy{v} [lid]’
      has four call patterns, but the limit is 3
    Use -fspec-constr-count=n to set the bound
    Specialisations: [([sc_sAZr{v} [lid]],
                       [sc_sAZr{v} [lid], lvl_sdmH{v} [lid]]),
                      ([sc_sAZs{v} [lid]], [sc_sAZs{v} [lid], lvl_sw9X{v}
[lid]]),
                      ([sc_sAZt{v} [lid]], [sc_sAZt{v} [lid], lvl_swa0{v}
[lid]]),
                      ([sc_sAZu{v} [lid]], [sc_sAZu{v} [lid], lvl_swat{v}
[lid]])]

How can I figure out what function this sort of thing is actually talking
about? I'd love to see what benchmarks say about whether tweaking
-fspec-constr-count is a good idea, but I don't know what to benchmark.

Thanks,
David
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160610/96eab49f/attachment.html>


More information about the Haskell-Cafe mailing list