[Haskell-cafe] Overlapping instances with "instance F a => G a"

[Brandon Allbery]

On Thu, Jan 1, 2015 at 4:29 PM, Bryan Gardiner <bog at khumba.net> wrote:

> Doesn't "HostBinaryNum a => HostBinary a" create a HostBinary instance
> for all instances of HostBinaryNum only?  So why would it cause
>

No, it creates an instance for all types, then checks for HostBinaryNum at
the point where it tries to use the instance.

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20150101/15fda0ab/attachment.html>