[GHC] #6001: Wrong diagnostics for instance signature mismatch

[GHC]

#6001: Wrong diagnostics for instance signature mismatch
---------------------------------+------------------------------------------
    Reporter:  heisenbug         |       Owner:  pcapriotti                       
        Type:  bug               |      Status:  new                              
    Priority:  normal            |   Milestone:  7.6.1                            
   Component:  Compiler          |     Version:  7.5                              
    Keywords:                    |          Os:  Unknown/Multiple                 
Architecture:  Unknown/Multiple  |     Failure:  Incorrect warning at compile-time
  Difficulty:  Unknown           |    Testcase:                                   
   Blockedby:                    |    Blocking:                                   
     Related:                    |  
---------------------------------+------------------------------------------

Comment(by heisenbug):

 Correction to my last woe...

 My instance declaration should read
 {{{
 instance Num (Day c) where
   fromInteger :: Integer -> Day c
   fromInteger 1 = Mon
   fromInteger 6 = Sat
 }}}

 because of scoped type variables. Then everything seems to pan out.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6001#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler