#4173: Bad warning from quoted instance
---------------------------------+------------------------------------------
Reporter: igloo | Owner:
Type: bug | Status: closed
Priority: normal | Milestone: 6.14.1
Component: Template Haskell | Version: 6.13
Resolution: fixed | Keywords:
Difficulty: | Os: Unknown/Multiple
Testcase: ghci/scripts/T4127 | Architecture: Unknown/Multiple
Failure: None/Unknown |
---------------------------------+------------------------------------------
Changes (by simonpj):
* status: new => closed
* testcase: => ghci/scripts/T4127
* resolution: => fixed
Comment:
Fixed by
{{{
Thu Jul 1 07:01:24 PDT 2010 [email protected]
* Fix second bug in Trac #4127
This bug concerned the awkward shadowing we do for
Template Haskell declaration brackets. Lots of
comments in
Note [Top-level Names in Template Haskell decl quotes]
M ./compiler/basicTypes/RdrName.lhs -31 +11
M ./compiler/rename/RnNames.lhs -12 +52
}}}
and
{{{
Wed Jul 7 05:31:25 PDT 2010 [email protected]
* Fix Trac #4127 (and hence #4173)
The change involves a little refactoring, so that the default
method Ids are brought into scope earlier, before the value
declarations are compiled. (Since a value decl may contain
an instance decl in a quote.)
See Note [Default method Ids and Template Haskell] in
TcTyClsDcls.
M ./compiler/basicTypes/MkId.lhs -8 +16
M ./compiler/typecheck/TcClassDcl.lhs -12 +10
M ./compiler/typecheck/TcInstDcls.lhs -12 +9
M ./compiler/typecheck/TcRnDriver.lhs -10 +13
M ./compiler/typecheck/TcTyClsDecls.lhs -7 +35
M ./compiler/types/Class.lhs -1 +4
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4173#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