<div dir="ltr">On Tue, Apr 9, 2013 at 2:02 PM, Laurent <span dir="ltr"><<a href="mailto:laurent.orseau@gmail.com" target="_blank">laurent.orseau@gmail.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">But if you write all 10 cases, aren't the lists constructed anyway before calling `*'?<br></div>
</blockquote><div><br></div><div style>I'll leave the answer to someone who knows exactly how the compiler works.</div><div style><br></div><div style>Intuitively, I thought my case should be better, but measuring them gives no appreciable difference, so I don't know. :)</div>
<div style><br></div><div style>(I didn't want to suggest that 10 cases are necessary. The right number should be determined by experiment.)</div><div style><br></div></div></div></div>