#6044: Regression error: Kind variables don't work inside of kind constructors
in
type families
----------------------------------------+-----------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 7.5
Resolution: fixed | Keywords: PolyKinds
TypeFamilies
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC rejects valid program | Difficulty: Unknown
Testcase: polykinds/T6044 | Blockedby:
Blocking: | Related:
----------------------------------------+-----------------------------------
Changes (by simonpj):
* status: new => closed
* difficulty: => Unknown
* resolution: => fixed
* testcase: => polykinds/T6044
Comment:
Turns out to be the same trivial bug as #6020. Fixed by
{{{
commit 4cc882650af6a4fadb30706f21e987edb846bcc3
Author: Simon Peyton Jones <[email protected]>
Date: Thu Apr 26 09:29:15 2012 +0100
Fix a one-character typo (kv1 should be kv2!)
Fixes Trac #6020, #6044
>---------------------------------------------------------------
compiler/typecheck/TcUnify.lhs | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/compiler/typecheck/TcUnify.lhs
b/compiler/typecheck/TcUnify.lhs index 1729dcd..6e4d128 100644
--- a/compiler/typecheck/TcUnify.lhs
+++ b/compiler/typecheck/TcUnify.lhs
@@ -1119,7 +1119,7 @@ uKVar isFlipped unify_kind eq_res kv1 k2
| TyVarTy kv2 <- k2, kv1 == kv2
= return eq_res
- | TyVarTy kv2 <- k2, isTcTyVar kv1, isMetaTyVar kv2
+ | TyVarTy kv2 <- k2, isTcTyVar kv2, isMetaTyVar kv2
= uKVar (not isFlipped) unify_kind eq_res kv2 (TyVarTy kv1)
| otherwise = if isFlipped
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6044#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
