Rejig the way in which generic default method signatures are checked

[ghc-hetmet.git] / compiler / main / HscTypes.lhs

diff --git a/compiler/main/HscTypes.lhs b/compiler/main/HscTypes.lhs
index 493466b..22aa3f4 100644 (file)
--- a/compiler/main/HscTypes.lhs
+++ b/compiler/main/HscTypes.lhs
@@ -1036,7 +1036,9 @@ implicitTyThings (ADataCon dc)  = map AnId (dataConImplicitIds dc)
     
 implicitClassThings :: Class -> [TyThing]
 implicitClassThings cl 
-  = -- dictionary datatype:
+  = -- Does not include default methods, because those Ids may have
+    --    their own pragmas, unfoldings etc, not derived from the Class object
+    -- Dictionary datatype:
     --    [extras_plus:]
     --      type constructor 
     --    [recursive call:]