import Id
import Name
import Var
-import VarSet
import NameEnv
import NameSet
import Outputable
prags = prag_fn sel_name
; dm_id_w_inline <- addInlinePrags dm_id prags
- ; spec_prags <- tcSpecPrags True dm_id prags
+ ; spec_prags <- tcSpecPrags dm_id prags
; warnTc (not (null spec_prags))
(ptext (sLit "Ignoring SPECIALISE pragmas on default method")
-- NB: the binding is always a FunBind
; (ev_binds, (tc_bind, _))
- <- checkConstraints skol_info emptyVarSet tyvars full_given $
+ <- checkConstraints skol_info tyvars full_given $
tcExtendIdEnv [local_meth_id] $
tcPolyBinds TopLevel meth_sig_fn no_prag_fn
NonRecursive NonRecursive