#7022: Kind variable scoping problem in Iface file when using Template Haskell
------------------------------+---------------------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.5 | Keywords: TemplateHaskell PolyKinds
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Testcase:
Blockedby: | Blocking:
Related: |
------------------------------+---------------------------------------------
Comment(by simonpj@…):
commit 3fe3ef509627cb8c9aa7751beb44d1b4408f8b22
{{{
Author: Simon Peyton Jones <simo...@microsoft.com>
Date: Tue Jul 10 16:02:03 2012 +0100
More changes to kind inference for type and class declarations
These should fix #7024 and #7022, among others.
The main difficulty was that we were getting occ-name clashes
between kind and type variables in TyCons, when spat into an
interface file. The new scheme is to tidy TyCons during the
conversoin into IfaceSyn, rather than trying to generate them
pre-tidied, which was the already-unsatisfactory previous plan.
There is the usual wave of refactorig as well.
compiler/iface/MkIface.lhs | 129
+++++++++++++++++++++-----------
compiler/typecheck/TcHsType.lhs | 143
++++++++++++++++++++---------------
compiler/typecheck/TcRnDriver.lhs | 8 +-
compiler/typecheck/TcRnTypes.lhs | 40 +++++++---
compiler/typecheck/TcRules.lhs | 3 +-
compiler/typecheck/TcTyClsDecls.lhs | 110 +++++++++++++-------------
compiler/types/Kind.lhs | 9 ++-
7 files changed, 267 insertions(+), 175 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7022#comment:1>
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
