Thank you all for your replies. This is all much more clear now :)<div><br></div><div>- Job<br><br><div class="gmail_quote">On Tue, Apr 6, 2010 at 7:00 PM, Ross Paterson <span dir="ltr"><<a href="mailto:ross@soi.city.ac.uk">ross@soi.city.ac.uk</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im">On Tue, Apr 06, 2010 at 05:18:34PM -0400, Job Vranish wrote:<br>
> So in Haskell 98, would the added constraints result in a type error?<br>
<br>
</div>Yes, because the types of the mutually recursive identifiers would be<br>
inferred together without using the type signatures, and then would<br>
fail to match the declared types.<br>
<br>
But then there aren't any implementations of Haskell 98 to test this on.<br>
<div><div></div><div class="h5">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div>