<div dir="ltr">Oops :)<div><br></div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On 8 June 2013 21:15, Graham Gill <span dir="ltr"><<a href="mailto:math.simplex@gmail.com" target="_blank">math.simplex@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div text="#000000" bgcolor="#FFFFFF"><div><div class="h5">
<div>On 08/06/2013 4:11 PM, Peter Hall
wrote:<br>
</div>
<blockquote type="cite">
<div dir="ltr"><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">
<div class="gmail_extra">
<div class="gmail_quote">
<div>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div><br>
Show a => a -> a -> String<br>
</div>
</blockquote>
<div><br>
</div>
</div>
<div>...is not monomorphic. If you want that to be
inferred, turn off the monomorphism restriction.
(And yes, many people *do* consider the
monomorphism restriction of standard Haskell to be
a bug in the specification.)</div>
<div><br>
</div>
</div>
</div>
</div>
</blockquote>
<div><br>
</div>
<div>When are we due a new spec? 1998 was quite a
while ago...</div>
<div><br>
</div>
<div>Peter <br>
</div>
</div>
</div>
</div>
</blockquote>
<br>
</div></div><a href="http://www.haskell.org/haskellwiki/Haskell_2010" target="_blank">2010</a><br>
</div>
</blockquote></div><br></div>