11 Nov
2012
11 Nov
'12
3:31 p.m.
Bas van Dijk
There's one minor issue: Say some client does not intend to rely on DefaultSignatures but forgets to write a definition for the method. He will then not get a "No explicit method or default declaration" warning. However, in this case I think the benefits outweigh this disadvantage.
...maybe the following shameless plug offers a different perspective in the design-space of DefaultSignatures: http://hackage.haskell.org/trac/ghc/ticket/7395#comment:7 But I'm not sure yet, whether handling DefaultSignatures implementations more like builtin classes and keeping vanilla H98 typeclass default-implementations in separate "namespace" would actually help here...