Re: SpecConstr number of specializations (-fspec-constr-count)

2010-11-29 Thread Simon Marlow
On 25/11/2010 20:01, Roman Leshchinskiy wrote: On 25/11/2010, at 10:33, José Pedro Magalhães wrote: Is this a bug, or is the value of spec-constr-count being manipulated in some way for certain passes? spec-constr-count decreases for nested specialisations. For instance, if spec-constr-count

SpecConstr number of specializations (-fspec-constr-count)

2010-11-25 Thread José Pedro Magalhães
Hi all, When compiling some program with -O2 using ghc-7.0.1, I got warnings like SpecConstr Function `$j_s7Xo{v} [lid]' has three call patterns, but the limit is 1 Use -fspec-constr-count=n to set the bound Use -dppr-debug to see specialisations SpecConstr Function

Re: SpecConstr number of specializations (-fspec-constr-count)

2010-11-25 Thread Roman Leshchinskiy
On 25/11/2010, at 10:33, José Pedro Magalhães wrote: Is this a bug, or is the value of spec-constr-count being manipulated in some way for certain passes? spec-constr-count decreases for nested specialisations. For instance, if spec-constr-count is 6 and SpecConstr generates 2

Re: SpecConstr number of specializations (-fspec-constr-count)

2010-11-25 Thread José Pedro Magalhães
Hi, 2010/11/25 Roman Leshchinskiy r...@cse.unsw.edu.au On 25/11/2010, at 10:33, José Pedro Magalhães wrote: Is this a bug, or is the value of spec-constr-count being manipulated in some way for certain passes? spec-constr-count decreases for nested specialisations. For instance, if