; (top_dm_id, bind) <- tcInstanceMethodBody rigid_info
clas tyvars [this_dict] theta (mkTyVarTys tyvars)
Nothing sel_id
; (top_dm_id, bind) <- tcInstanceMethodBody rigid_info
clas tyvars [this_dict] theta (mkTyVarTys tyvars)
Nothing sel_id
\begin{code}
mkGenericDefMethBind :: Class -> [Type] -> Id -> Name -> TcM (LHsBind Name)
mkGenericDefMethBind clas inst_tys sel_id meth_name
\begin{code}
mkGenericDefMethBind :: Class -> [Type] -> Id -> Name -> TcM (LHsBind Name)
mkGenericDefMethBind clas inst_tys sel_id meth_name
dfun_id = mkDictFunId dfun_name tyvars inst_theta clas [inst_ty]
ispec = mkLocalInstance dfun_id overlap_flag
dfun_id = mkDictFunId dfun_name tyvars inst_theta clas [inst_ty]
ispec = mkLocalInstance dfun_id overlap_flag