#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 <simo...@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
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
