[GHC] #4912: No warnings for orphan instances declared via TypeSynonymInstances

[GHC]

#4912: No warnings for orphan instances declared via TypeSynonymInstances
---------------------------------+------------------------------------------
    Reporter:  batterseapower    |        Owner:                                   
        Type:  bug               |       Status:  merge                            
    Priority:  normal            |    Milestone:                                   
   Component:  Compiler          |      Version:  7.0.1                            
    Keywords:                    |     Testcase:  typecheck/should_compile/T4912   
   Blockedby:                    |   Difficulty:                                   
          Os:  Unknown/Multiple  |     Blocking:                                   
Architecture:  Unknown/Multiple  |      Failure:  Incorrect warning at compile-time
---------------------------------+------------------------------------------
Changes (by simonpj):

  * status:  new => merge
  * testcase:  => typecheck/should_compile/T4912


Comment:

 Fixed by
 {{{
 Wed Jan 26 17:12:29 GMT 2011  simonpj at microsoft.com
   * Look through type synonyms when computing orphans

   I renamed functions tyClsNamesOfTypes to oprhNamesOfType,
   because it's only used in that capacity, and we therefore
   want to look through type synonyms.  Similarly exprOrphNames.

   This fixes Trac #4912.

     M ./compiler/coreSyn/CoreFVs.lhs -16 +17
     M ./compiler/iface/MkIface.lhs -8 +6
     M ./compiler/main/InteractiveEval.hs -1 +1
     M ./compiler/typecheck/TcRnDriver.lhs -2 +2
     M ./compiler/typecheck/TcType.lhs -22 +27
 }}}
 Worth merging if easy.

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