Call pattern specialization limit messages

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Call pattern specialization limit messages

David Feuer
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

_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe