#10087: DefaultSignatures: error message mentions internal name -------------------------------------+------------------------------------- Reporter: andreas.abel | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.8.4 checker) | Keywords: Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by andreas.abel): I see. You get the error when using the default implementation. {{{#!hs test :: D -> Bool test d = reflexive d }}} {{{ No instance for (Eq D) arising from a use of ‘reflexive’ In the expression: reflexive d In an equation for ‘test’: test d = reflexive d }}} I agree this would be the most consistent behavior. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10087#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler