<div class="gmail_quote">On Fri, Aug 20, 2010 at 11:20 AM, Johan Tibell <span dir="ltr"><<a href="mailto:johan.tibell@gmail.com">johan.tibell@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div class="gmail_quote"><div><div></div><div class="h5">On Fri, Aug 20, 2010 at 11:13 AM, Roman Leshchinskiy <span dir="ltr"><<a href="mailto:rl@cse.unsw.edu.au" target="_blank">rl@cse.unsw.edu.au</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div>
</div>Out of curiosity, is balance strict in the third argument? If not, does it make a difference if you make it strict?<br></blockquote></div></div><div><br>I haven't checked since Milan completely rewrote balance but hasn't integrated his changes yet. I'll have a look at balance once those changes are in.<br>
</div></div></blockquote><div><br>$ ghc --show-iface dist/build/Data/Map.hi<br><br><snip><br> balance :: forall k a.<br> k -> a -> Data.Map.Map k a -> Data.Map.Map k a -> Data.Map.Map k a<br>
{- Arity: 4 Strictness: SLSS -}<br></div></div><snip><br><br>So I guess it's strict in the 3rd (and 4th) argument.<br><br>-- Johan<br>