<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>Correct. That instance won't work as expected.<br>
</p>
<div class="moz-cite-prefix">On 5/7/2018 8:21 PM, Brandon Allbery
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAKFCL4XkE-NPFK41f2SNDUswuhPGm0ZAy9osb3ika98sHGnOQg@mail.gmail.com">
<div dir="ltr">
<div class="gmail_extra">
<div class="gmail_quote">On Mon, May 7, 2018 at 7:50 AM,
Clinton Mead <span dir="ltr"><<a
href="mailto:clintonmead@gmail.com" target="_blank"
moz-do-not-send="true">clintonmead@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 dir="ltr">
<div>
<div><font face="monospace, monospace">class Num t
=> MyNum t where</font></div>
<div><font face="monospace, monospace"> type IsNum t</font></div>
<div><font face="monospace, monospace">instance Num t
=> MyNum t where</font></div>
<div><font face="monospace, monospace"> type IsNum t
= Satisfied</font></div>
</div>
</div>
</blockquote>
</div>
<div><br>
</div>
<div>This looks wrong to me: given how instance resolution
works, I'd expect this to match every type and produce
Satisfied, and later rejection based on the context wouldn't
affect it. But I could well be thinking about it
incorrectly.</div>
<div><br>
</div>
-- <br>
<div class="gmail_signature" data-smartmail="gmail_signature">
<div dir="ltr">
<div>brandon s allbery kf8nh
sine nomine associates</div>
<div><a href="mailto:allbery.b@gmail.com" target="_blank"
moz-do-not-send="true">allbery.b@gmail.com</a>
<a
href="mailto:ballbery@sinenomine.net" target="_blank"
moz-do-not-send="true">ballbery@sinenomine.net</a></div>
<div>unix, openafs, kerberos, infrastructure, xmonad
<a href="http://sinenomine.net" target="_blank"
moz-do-not-send="true">http://sinenomine.net</a></div>
</div>
</div>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a>
Only members subscribed via the mailman list are allowed to post.</pre>
</blockquote>
</body>
</html>