[commit: ghc] wip/rae: Add missing kind cast to pure unifier. (9c3027f)
git at git.haskell.org
git at git.haskell.org
Mon Feb 15 15:38:39 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/rae
Link : http://ghc.haskell.org/trac/ghc/changeset/9c3027f4df09ad151d21806a83d32deff91b9da7/ghc
>---------------------------------------------------------------
commit 9c3027f4df09ad151d21806a83d32deff91b9da7
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date: Sat Jan 30 16:49:22 2016 -0500
Add missing kind cast to pure unifier.
>---------------------------------------------------------------
9c3027f4df09ad151d21806a83d32deff91b9da7
compiler/types/Unify.hs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/compiler/types/Unify.hs b/compiler/types/Unify.hs
index 89b6695..fe77370 100644
--- a/compiler/types/Unify.hs
+++ b/compiler/types/Unify.hs
@@ -788,7 +788,7 @@ uVar tv1 ty kco
-- this is because the range of the subst is the target
-- type, not the template type. So, just check for
-- normal type equality.
- guard (ty' `eqType` ty) }
+ guard ((ty' `mkCastTy` kco) `eqType` ty) }
Nothing -> uUnrefined tv1 ty ty kco } -- No, continue
uUnrefined :: TyVar -- variable to be unified
More information about the ghc-commits
mailing list