#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
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
