projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Misc. cleanups to CPS converter
[ghc-hetmet.git]
/
compiler
/
types
/
FamInstEnv.lhs
diff --git
a/compiler/types/FamInstEnv.lhs
b/compiler/types/FamInstEnv.lhs
index
ee55583
..
7c06555
100644
(file)
--- a/
compiler/types/FamInstEnv.lhs
+++ b/
compiler/types/FamInstEnv.lhs
@@
-277,7
+277,7
@@
indexed synonyms and we don't want to slow that down by needless unification.
\begin{code}
lookupFamInstEnvUnify :: (FamInstEnv, FamInstEnv) -> TyCon -> [Type]
\begin{code}
lookupFamInstEnvUnify :: (FamInstEnv, FamInstEnv) -> TyCon -> [Type]
- -> [(FamInstMatch)]
+ -> [(FamInstMatch, TvSubst)]
lookupFamInstEnvUnify (pkg_ie, home_ie) fam tys
| not (isOpenTyCon fam)
= []
lookupFamInstEnvUnify (pkg_ie, home_ie) fam tys
| not (isOpenTyCon fam)
= []
@@
-318,7
+318,7
@@
lookupFamInstEnvUnify (pkg_ie, home_ie) fam tys
case tcUnifyTys bind_fn tpl_tys tys of
Just subst -> let rep_tys = substTyVars subst (tyConTyVars tycon)
in
case tcUnifyTys bind_fn tpl_tys tys of
Just subst -> let rep_tys = substTyVars subst (tyConTyVars tycon)
in
- (item, rep_tys) : find rest
+ ((item, rep_tys), subst) : find rest
Nothing -> find rest
-- See explanation at @InstEnv.bind_fn@.
Nothing -> find rest
-- See explanation at @InstEnv.bind_fn@.