#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): Aha. I don't have time to validate, but I bet this fixes it: {{{ diff --git a/compiler/iface/MkIface.lhs b/compiler/iface/MkIface.lhs index ce07b37..18dd8f4 100644 --- a/compiler/iface/MkIface.lhs +++ b/compiler/iface/MkIface.lhs @@ -1498,8 +1498,8 @@ tyConToIfaceDecl env tycon (syn_rhs, syn_ki) = case synTyConRhs tycon of - SynFamilyTyCon -> (Nothing, tidyToIfaceType env1 (synTyConResKind tycon)) - SynonymTyCon ty -> (Just (toIfaceType ty), tidyToIfaceType env1 (typeKind ty)) + SynFamilyTyCon -> (Nothing, tidyToIfaceType env1 (synTyConResKind tycon)) + SynonymTyCon ty -> (Just (tidyToIfaceType env1 ty), tidyToIfaceType env1 (typeKind ty)) ifaceConDecls (NewTyCon { data_con = con }) = IfNewTyCon (ifaceConDecl con) }}} Can you test, validate, and commit if so? It's just a typo in my previous fix. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7022#comment:6> 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