#7022: Kind variable scoping problem in Iface file when using Template Haskell
-------------------------------+--------------------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.5
Resolution: | Keywords: TemplateHaskell PolyKinds
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Difficulty: Unknown
Testcase: polykinds/T7022 | Blockedby:
Blocking: | Related:
-------------------------------+--------------------------------------------
Comment(by simonpj):
Well that's odd. The code in the Description of this ticket works fine for
me. It's even in the regression suite. Are you saying that the
regression test fails for you (`polykinds/T7022`)? Can you say precisely
what happens, including exactly the code you are compiling?
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7022#comment:4>
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
