X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FInstEnv.lhs;h=7327992540cfc29a65e8b861074568d547cd6fda;hb=5289f5d85610f71625a439747a09384876655eb5;hp=49b49b83e15b80af8dd974827030fe6d1122c6df;hpb=d24fc63ae1a193917d35ef3d4e31aba4e283267d;p=ghc-hetmet.git diff --git a/compiler/types/InstEnv.lhs b/compiler/types/InstEnv.lhs index 49b49b8..7327992 100644 --- a/compiler/types/InstEnv.lhs +++ b/compiler/types/InstEnv.lhs @@ -45,7 +45,6 @@ import Data.Maybe ( isJust, isNothing ) %************************************************************************ \begin{code} -type DFunId = Id data Instance = Instance { is_cls :: Name -- Class name @@ -541,7 +540,7 @@ insert_overlapping new_item (item:items) \begin{code} instanceBindFun :: TyVar -> BindFlag instanceBindFun tv | isTcTyVar tv && isExistentialTyVar tv = Skolem - | otherwise = BindMe + | otherwise = BindMe -- Note [Binding when looking up instances] \end{code}