#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