[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:  normal            |    Milestone:                           
   Component:  Template Haskell  |      Version:  6.12.1                   
    Keywords:                    |   Difficulty:                           
          Os:  Linux             |     Testcase:                           
Architecture:  x86_64 (amd64)    |      Failure:  GHC rejects valid program
---------------------------------+------------------------------------------

Comment(by LouisWasserman):

 Just a brief whine: I encountered this problem, and I'm not even sure it's
 possible to apply the workaround to my task.  I'm trying to use TH to
 generate a large number of very straightforward class methods, but there's
 also a single associated type which is too complicated to derive (and
 hellish to pass to my TH method).

 Personally, I'd settle in an instant for being able to splice in
 declarations at the class method level, which currently gives a parse
 error.

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