Commit aff5bb47 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

Add missing kind cast to pure unifier.

parent 90f35612
...@@ -788,7 +788,7 @@ uVar tv1 ty kco ...@@ -788,7 +788,7 @@ uVar tv1 ty kco
-- this is because the range of the subst is the target -- this is because the range of the subst is the target
-- type, not the template type. So, just check for -- type, not the template type. So, just check for
-- normal type equality. -- normal type equality.
guard (ty' `eqType` ty) } guard ((ty' `mkCastTy` kco) `eqType` ty) }
Nothing -> uUnrefined tv1 ty ty kco } -- No, continue Nothing -> uUnrefined tv1 ty ty kco } -- No, continue
uUnrefined :: TyVar -- variable to be unified uUnrefined :: TyVar -- variable to be unified
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment