[GHC] #6001: Wrong diagnostics for instance signature mismatch
GHC
cvs-ghc at haskell.org
Thu Apr 12 14:25:23 CEST 2012
#6001: Wrong diagnostics for instance signature mismatch
------------------------------------------------+---------------------------
Reporter: heisenbug | Owner: pcapriotti
Type: bug | Status: closed
Priority: normal | Milestone: 7.6.1
Component: Compiler | Version: 7.5
Resolution: fixed | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: Incorrect warning at compile-time | Difficulty: Unknown
Testcase: typecheck/should_fail/T6001 | Blockedby:
Blocking: | Related:
------------------------------------------------+---------------------------
Comment(by simonpj):
Indeed. The new error message is absolutely right:
{{{
NumGADT.hs:10:18:
Method signature does not match class; it should be
fromInteger :: Integer -> Day c
In the instance declaration for `Num (Day c)'
}}}
So with the above patch (thanks Paolo) all is good.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6001#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the Glasgow-haskell-bugs
mailing list