Hi all,<br><br>When compiling some program with -O2 using ghc-7.0.1, I got warnings like<br><blockquote style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex; font-family: courier new,monospace;" class="gmail_quote">


SpecConstr<br>    Function `$j_s7Xo{v} [lid]&#39;<br>      has three call patterns, but the limit is 1<br>    Use -fspec-constr-count=n to set the bound<br>    Use -dppr-debug to see specialisations<br>SpecConstr<br>    Function `$j_s7YI{v} [lid]&#39; has 7 call patterns, but the limit is 3<br>


    Use -fspec-constr-count=n to set the bound<br>    Use -dppr-debug to see specialisations<br></blockquote><br>I proceeded to compile with -fspec-constr-count=10, but I still got<br><blockquote style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex; font-family: courier new,monospace;" class="gmail_quote">


SpecConstr<br>    Function `$j_s7Xo{v} [lid]&#39; has 7 call patterns, but the limit is 1<br>    Use -fspec-constr-count=n to set the bound<br>    Use -dppr-debug to see specialisations<br></blockquote><br>With -fspec-constr-count=55, I got<br>


<blockquote style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex; font-family: courier new,monospace;" class="gmail_quote">SpecConstr<br>    Function `$j_s7Xo{v} [lid]&#39; has 7 call patterns, but the limit is 6<br>


    Use -fspec-constr-count=n to set the bound<br>    Use -dppr-debug to see specialisations<br></blockquote><br>Finally, with -fspec-constr-count=56, the warnings disappear.<br>Is this a bug, or is the value of spec-constr-count being manipulated in some way for certain passes?<br>


<br><br>Thanks,<br>Pedro<br><br>