On Fri, Nov 4, 2011 at 9:14 AM, Milan Straka <span dir="ltr">&lt;<a href="mailto:fox@ucw.cz">fox@ucw.cz</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

Hi Johan,<br>
<div class="im"><br>
&gt; After thinking about this some more I think we should go with option one<br>
&gt; (the most strict one). My arguments in favor are that<br>
&gt;<br>
&gt;  * it&#39;s easier to explain and remember,<br>
&gt;  * it&#39;s harder to be too lazy by mistake*,<br>
&gt;  * Simon M thinks it&#39;ll help GHC to avoid some redundant seq:s, and<br>
&gt;  * if we can specialize the structure in the future to use monomorphic<br>
&gt; representations we can pass the value unboxed.<br>
&gt;<br>
&gt; Milan, what are your current thoughts?<br>
<br>
</div>I agree with going with option one. It is a simple rule and it is<br>
consistent with the method-are-strict-in-keys behaviour.<br></blockquote><div><br></div><div>I will go ahead and make the changes as soon as I find some time.</div><div><br></div><div>-- Johan</div><div> </div></div>