#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 dreixel): I agree that it's not a good idea to mention `$gdmreflexive` in the error message. But I don't think the error should be replaced by a warning. If there are no default signatures we don't get any errors or warnings: {{{ class C a where reflexive :: Eq a => a -> Bool reflexive x = x == x data D instance C D }}} So perhaps that's what we should do in this case, too. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10087#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler