Add missing kind cast to pure unifier.

Yuras · Feb 17, 2016 · aff5bb4 · aff5bb4
1 parent 90f3561
commit aff5bb4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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