From: simonpj@microsoft.com Date: Fri, 15 Oct 2010 13:19:24 +0000 (+0000) Subject: Comments and layout X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=6bf61003d2843cbe1c187882e19a8a996b437c12 Comments and layout --- diff --git a/compiler/typecheck/TcHsSyn.lhs b/compiler/typecheck/TcHsSyn.lhs index 5341a4f..7c12410 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 09b9b53..7327992 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}