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
instance C 1 where
op Unit = ...
+
\begin{code}
mkGenericDefMethBind :: Class -> [Type] -> Id -> Name -> TcM (LHsBind Name)
mkGenericDefMethBind clas inst_tys sel_id meth_name