-- Check if one of the minimal complete definitions is satisfied
checkMinimalDefinition
= whenIsJust (isUnsatisfied methodExists (classMinimalDef clas)) $
- warnUnsatisifiedMinimalDefinition
+ warnUnsatisfiedMinimalDefinition
where
methodExists meth = isJust (findMethodBind meth binds)
(ptext (sLit "No explicit") <+> text what <+> ptext (sLit "or default declaration for")
<+> quotes (ppr name)) }
-warnUnsatisifiedMinimalDefinition :: ClassMinimalDef -> TcM ()
-warnUnsatisifiedMinimalDefinition mindef
+warnUnsatisfiedMinimalDefinition :: ClassMinimalDef -> TcM ()
+warnUnsatisfiedMinimalDefinition mindef
= do { warn <- woptM Opt_WarnMissingMethods
; warnTc warn message
}