Correct. That instance won't work as expected.

On Mon, May 7, 2018 at 7:50 AM, Clinton Mead <clintonmead@gmail.com> wrote:

class Num t => MyNum t where

  type IsNum t

instance Num t => MyNum t where

  type IsNum t = Satisfied

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.

--

brandon s allbery kf8nh                               sine nomine associates

allbery.b@gmail.com                                  ballbery@sinenomine.net

unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.