X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcClassDcl.lhs;h=3814f239b68f23086018dc3df42e3cf6e8b521a4;hp=cb27a985f2b18d2f6ed3aa9e48a7347c06b764e7;hb=e79c9ce01d0ce4412bd4bcd99c8c728a6a2ec569;hpb=6ccd648bf016aa9cfa13612f0f19be6badea16d1 diff --git a/compiler/typecheck/TcClassDcl.lhs b/compiler/typecheck/TcClassDcl.lhs index cb27a98..3814f23 100644 --- a/compiler/typecheck/TcClassDcl.lhs +++ b/compiler/typecheck/TcClassDcl.lhs @@ -224,8 +224,6 @@ tcDefMeth rigid_info clas tyvars theta this_dict binds_in sig_fn prag_fn sel_id meth_sig_fn _ = sig_fn sel_name meth_prag_fn _ = prag_fn sel_name - -- See Note [Silly default-method bind] - -- (possibly out of date) ; (top_dm_id, bind) <- tcInstanceMethodBody rigid_info clas tyvars [this_dict] theta (mkTyVarTys tyvars) Nothing sel_id @@ -368,6 +366,7 @@ gives rise to the instance declarations instance C 1 where op Unit = ... + \begin{code} mkGenericDefMethBind :: Class -> [Type] -> Id -> Name -> TcM (LHsBind Name) mkGenericDefMethBind clas inst_tys sel_id meth_name