X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FInstEnv.lhs;h=8fd3d8324495e5771d2a53b58b39cd2e9994ce65;hp=2d1589ca6213eac7350e3f454901b099645d9971;hb=288213d7c2c65fa68ca466c1a1a3378e24fa1151;hpb=bef3803d8e6f5c4396aa3c43b0776b9794b1343f diff --git a/compiler/types/InstEnv.lhs b/compiler/types/InstEnv.lhs index 2d1589c..8fd3d83 100644 --- a/compiler/types/InstEnv.lhs +++ b/compiler/types/InstEnv.lhs @@ -370,7 +370,7 @@ extendInstEnv inst_env ins_item@(Instance { is_cls = cls_nm, is_tcs = mb_tcs }) add (ClsIE cur_insts cur_tyvar) _ = ClsIE (ins_item : cur_insts) (ins_tyvar || cur_tyvar) ins_tyvar = not (any isJust mb_tcs) -\end{code} +\end{code} %************************************************************************ @@ -483,7 +483,7 @@ lookupInstEnv (pkg_ie, home_ie) cls tys -- They shouldn't because we allocate separate uniques for them case tcUnifyTys bind_fn tpl_tys tys of Just _ -> find ms (item:us) rest - Nothing -> find ms us rest + Nothing -> find ms us rest --------------- bind_fn :: TyVar -> BindFlag