diff options
| -rw-r--r-- | compiler/typecheck/TcHsSyn.lhs | 2 | ||||
| -rw-r--r-- | compiler/types/InstEnv.lhs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcHsSyn.lhs b/compiler/typecheck/TcHsSyn.lhs index 5341a4f2ec..7c12410556 100644 --- a/compiler/typecheck/TcHsSyn.lhs +++ b/compiler/typecheck/TcHsSyn.lhs @@ -1076,7 +1076,7 @@ zonkEvBind env (EvBind var term) %************************************************************************ %* * -\subsection[BackSubst-Foreign]{Foreign exports} + Zonking types %* * %************************************************************************ diff --git a/compiler/types/InstEnv.lhs b/compiler/types/InstEnv.lhs index 09b9b5337e..7327992540 100644 --- a/compiler/types/InstEnv.lhs +++ b/compiler/types/InstEnv.lhs @@ -540,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} |