Comments and layout

diff --git a/compiler/typecheck/TcHsSyn.lhs b/compiler/typecheck/TcHsSyn.lhs
index 5341a4f..7c12410 100644 (file)
--- 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 09b9b53..7327992 100644 (file)
--- 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}