[project @ 2002-06-18 14:00:07 by simonpj]

Comments only

diff --git a/ghc/compiler/typecheck/TcInstDcls.lhs b/ghc/compiler/typecheck/TcInstDcls.lhs
index 79ac540..76b87ce 100644 (file)
--- a/ghc/compiler/typecheck/TcInstDcls.lhs
+++ b/ghc/compiler/typecheck/TcInstDcls.lhs
@@ -648,6 +648,8 @@ tcInstDecl2 (InstInfo { iDFunId = dfun_id, iBinds = monobinds, iPrags = uprags }
              main_bind `AndMonoBinds` prag_binds `AndMonoBinds` sc_binds_outer)
 \end{code}
 
+Superclass loops
+~~~~~~~~~~~~~~~~
 We have to be very, very careful when generating superclasses, lest we
 accidentally build a loop. Here's an example:
 
@@ -699,6 +701,7 @@ tcSuperClasses inst_tyvars' dfun_arg_dicts sc_dicts
 
        -- We must simplify this all the way down 
        -- lest we build superclass loops
+       -- See notes about superclass loops above
     tcSimplifyTop sc_lie               `thenTc` \ sc_binds2 ->
 
     returnTc (zonked_inst_tyvars, sc_binds1, sc_binds2)