[project @ 2004-07-28 12:59:53 by simonpj]

Comments only

diff --git a/ghc/compiler/typecheck/TcDeriv.lhs b/ghc/compiler/typecheck/TcDeriv.lhs
index 938d55c..b8a5f1d 100644 (file)
--- a/ghc/compiler/typecheck/TcDeriv.lhs
+++ b/ghc/compiler/typecheck/TcDeriv.lhs
@@ -529,9 +529,10 @@ mkDataTypeEqn tycon clas
        --        data T a b = ... deriving( Typeable )
        -- gives
        --        instance Typeable2 T where ...
+       -- Notice that:
        -- 1. There are no constraints in the instance
        -- 2. There are no type variables either
-       -- 2. The actual class we want to generate isn't necessarily
+       -- 3. The actual class we want to generate isn't necessarily
        --      Typeable; it depends on the arity of the type
     do { real_clas <- tcLookupClass (typeableClassNames !! tyConArity tycon)
        ; dfun_name <- new_dfun_name real_clas tycon