Simplify the type signature for tcPolyBinds

[ghc-hetmet.git] / compiler / typecheck / TcClassDcl.lhs

diff --git a/compiler/typecheck/TcClassDcl.lhs b/compiler/typecheck/TcClassDcl.lhs
index c3edcc4..b36192c 100644 (file)
--- a/compiler/typecheck/TcClassDcl.lhs
+++ b/compiler/typecheck/TcClassDcl.lhs
@@ -271,7 +271,7 @@ tcMethodBind tyvars prags meth_id bind
                                    (unitBag bind)
 
        ; ASSERT( ids == [meth_id] )    -- Binding for ONE method
-        return (unionManyBags tc_binds) }
+        return tc_binds }
 \end{code}
 
 Note [Polymorphic methods]
@@ -294,8 +294,9 @@ Note [Silly default-method bind]
 When we pass the default method binding to the type checker, it must
 look like    op2 = e
 not         $dmop2 = e
-otherwise the "$dm" stuff comes out in the interface file.  So we
-typecheck the former, and wrap it in a let, thus
+otherwise the "$dm" stuff comes out error messages.  But we want the
+"$dm" to come out in the interface file.  So we typecheck the former,
+and wrap it in a let, thus
          $dmop2 = let op2 = e in op2
 This makes the error messages right.