On 06 Dec 2006 19:33:51 +0000, <b class="gmail_sendername">Jón Fairbairn</b> &lt;<a href="mailto:jon.fairbairn@cl.cam.ac.uk">jon.fairbairn@cl.cam.ac.uk</a>&gt; wrote:<div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
&gt; and in the where statement:<br>&gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; T _ a y b = ins s<br><br>Here it's a pattern match. So if ins s returns (T x a' y'<br>b'), then a = a'; y = y'; b = b' are used in the expresion<br>covered by the where clause.
</blockquote><div><br>Great, thanks for clearing that up. Sometimes Haskell is a bit too concise!<br><br>Justin<br></div></div>