#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 [email protected]
* 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
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
