[GHC] #7022: Kind variable scoping problem in Iface file when using Template Haskell

[GHC]

#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 goldfire):

 I'm performing the setup and compiling the code exactly as specified in
 the initial bug report: I download the polykind.tar.gz file attached,
 unpack it, add it to my in-place GHC, and then run the code pasted above (

 {{{
 import Polykind

 foo :: SList a -> Bool
 foo = undefined
 }}}

 ) in a fresh file, getting the error reported a few days ago. The
 procedure for adding the package to GHC is (in the unpacked directory)

 {{{
 ghc75 --make Setup.hs
 ./Setup configure --with-ghc=/Users/rae/Documents/ghc/inplace/bin/ghc-
 stage2 --global
 ./Setup build
 ./Setup register --inplace
 }}}

 where {{{ghc75}}} is a symlink to the in-place ghc.

 I looked at {{{polykinds/T7022}}}, and it looks to me that it doesn't test
 the error I initially reported. The test compiles the module code and
 checks that process for errors. That has always worked fine. The problem
 occurs when compiling the {{{foo}}} function against the compiled module
 declaring {{{SList}}}. I could find no procedure for testing code against
 the compiled module in the T7022 test. In any case, the T7022 test passes
 for me.

 I hope this helps narrow the problem!

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7022#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler