tc_defaults [DefaultDecl mono_tys locn]
= tcLookupGlobal_maybe numClassName `thenNF_Tc` \ maybe_num ->
tc_defaults [DefaultDecl mono_tys locn]
= tcLookupGlobal_maybe numClassName `thenNF_Tc` \ maybe_num ->
-- In the Nothing case, Num has not been sucked in, so the
-- defaults will never be used; so simply discard the default decl.
-- This slightly benefits modules that don't use any
-- In the Nothing case, Num has not been sucked in, so the
-- defaults will never be used; so simply discard the default decl.
-- This slightly benefits modules that don't use any