-import TcSimplify ( tcSimplifyCheckThetas )
-
-import TysWiredIn ( integerTy, doubleTy )
-import Type ( Type )
+import TcSimplify ( tcSimplifyDefault )
+import TcType ( Type, mkClassPred, isTauTy )
-tc_defaults [DefaultDecl mono_tys locn]
- = tcLookupGlobal_maybe numClassName `thenNF_Tc` \ maybe_num ->
+tcDefaults [DefaultDecl mono_tys locn]
+ = tcLookupGlobal_maybe numClassName `thenM` \ 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
defaultDeclCtxt = ptext SLIT("when checking that each type in a default declaration")
$$ ptext SLIT("is an instance of class Num")
defaultDeclCtxt = ptext SLIT("when checking that each type in a default declaration")
$$ ptext SLIT("is an instance of class Num")
4 (vcat (map pp dup_things))
where
pp (DefaultDecl _ locn) = ptext SLIT("here was another default declaration") <+> ppr locn
4 (vcat (map pp dup_things))
where
pp (DefaultDecl _ locn) = ptext SLIT("here was another default declaration") <+> ppr locn