#7022: Kind variable scoping problem in Iface file when using Template Haskell
-------------------------------+--------------------------------------------
Reporter: goldfire | Owner: simonpj
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 simonmar):
Also note that the fix caused a failure in `rnfail055`:
{{{
--- ./rename/should_fail/rnfail055.stderr 2012-07-10
16:59:23.000000000 +0100
+++ ./rename/should_fail/rnfail055.comp.stderr 2012-08-02
13:13:42.277992885 +0100
@@ -17,8 +17,8 @@
RnFail055.hs-boot:8:6:
Type constructor `S2' has conflicting definitions in the module and
its hs-boot file
- Main module: type S2 a b = forall a. (a, b)
- Boot file: type S2 a b = forall b. (a, b)
+ Main module: type S2 a b = forall a1. (a1, b)
+ Boot file: type S2 a b = forall b1. (a, b1)
}}}
I didn't think the failure looked serious so I committed the new output,
but maybe someone wants to look into it further.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7022#comment:9>
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
