[GHC] #4135: Can't Quote Instance Associated Types in Template Haskell

[GHC]

#4135: Can't Quote Instance Associated Types in Template Haskell
---------------------------------+------------------------------------------
    Reporter:  Ashley Yakeley    |       Owner:                           
        Type:  bug               |      Status:  new                      
    Priority:  low               |   Milestone:  7.6.1                    
   Component:  Template Haskell  |     Version:  6.12.1                   
    Keywords:                    |          Os:  Linux                    
Architecture:  x86_64 (amd64)    |     Failure:  GHC rejects valid program
  Difficulty:                    |    Testcase:                           
   Blockedby:  4230              |    Blocking:                           
     Related:                    |  
---------------------------------+------------------------------------------

Comment(by simonpj@…):

 commit 6821789276554a7c8140cafdd65438a79017a638
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Tue Mar 20 09:37:09 2012 +0000

     Fix scoping of type variables in DsMeta

     This fixes Trac #4135.  It's been wrong for a long time!

  compiler/deSugar/DsMeta.hs   |  110
 ++++++++++++++++++-----------------------
  compiler/deSugar/DsMonad.lhs |    5 ++-
  2 files changed, 52 insertions(+), 63 deletions(-)
 }}}

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