[commit: ghc] wip/rae: Add missing kind cast to pure unifier. (aff5bb4)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/rae
Link       : http://ghc.haskell.org/trac/ghc/changeset/aff5bb47b70450bb1e3e4ac3c18ea35d13f9ac7c/ghc

>---------------------------------------------------------------

commit aff5bb47b70450bb1e3e4ac3c18ea35d13f9ac7c
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Sat Jan 30 16:49:22 2016 -0500

    Add missing kind cast to pure unifier.


>---------------------------------------------------------------

aff5bb47b70450bb1e3e4ac3c18ea35d13f9ac7c
 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