diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-01-30 16:49:22 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-02-17 13:16:01 -0500 |
| commit | aff5bb47b70450bb1e3e4ac3c18ea35d13f9ac7c (patch) | |
| tree | a35532545d9f7a2115c5e23184ad0d08931165f8 | |
| parent | 90f35612f16ff9cb2466cc936f12e748402abb85 (diff) | |
| download | haskell-aff5bb47b70450bb1e3e4ac3c18ea35d13f9ac7c.tar.gz | |
Add missing kind cast to pure unifier.
| -rw-r--r-- | compiler/types/Unify.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/types/Unify.hs b/compiler/types/Unify.hs index 89b6695f08..fe77370d61 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 |