<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Apr 15, 2015 at 3:31 PM, martin <span dir="ltr"><<a href="mailto:martin.drautzburg@web.de" target="_blank">martin.drautzburg@web.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hlint suggested<br>
<br>
Found:<br>
  bench x = (timeIt . print) x<br>
Why not:<br>
  bench = (timeIt . print)<br></blockquote><div><br></div><div>hlint is kinda dumb sometimes, like any heuristic analyzer. In particular, it recognizes patterns of code, but knows nothing about types. Or, in this case, the monomorphism restriction, which is likely messing with the inferred type (since the inferred type is correct when it has a parameter).</div><div><br></div></div>-- <br><div class="gmail_signature"><div dir="ltr"><div>brandon s allbery kf8nh                               sine nomine associates</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>                                  <a href="mailto:ballbery@sinenomine.net" target="_blank">ballbery@sinenomine.net</a></div><div>unix, openafs, kerberos, infrastructure, xmonad        <a href="http://sinenomine.net" target="_blank">http://sinenomine.net</a></div></div></div>
</div></div>