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

git at git.haskell.org git at git.haskell.org
Sat Feb 6 18:32:38 UTC 2016


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

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

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

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

    Add missing kind cast to pure unifier.


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

cb443db7dc666f9ef23bfbfa577ecfac89f02df7
 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 60cc249..183ef47 100644
--- a/compiler/types/Unify.hs
+++ b/compiler/types/Unify.hs
@@ -790,7 +790,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