On Thu, Oct 27, 2011 at 10:17 AM, Edward Z. Yang <span dir="ltr"><<a href="mailto:ezyang@mit.edu">ezyang@mit.edu</a>></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;">
Here's the definition of Tip.<br>
<br>
data IntMap a = Bin {-# UNPACK #-} !Prefix {-# UNPACK #-} !Mask !(IntMap a) !(IntMap a)<br>
| Tip {-# UNPACK #-} !Key a<br>
| Nil<br></blockquote><div><br></div><div>You're right. I forgot the definition of the data type itself. I guess there's no function in the API currently that takes a key parameter and isn't strict in that parameter because the key is either</div>
<div><br></div><div> * compared to another key, or</div><div> * inserted into the map</div><div><br></div><div>which both causes the key to be evaluated.</div><div><br></div><div>-- Johan</div><div><br></div></div>