diff options
| -rw-r--r-- | compiler/typecheck/TcInstDcls.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/typecheck/TcInstDcls.hs b/compiler/typecheck/TcInstDcls.hs index 44441011c4..3d9e425c4b 100644 --- a/compiler/typecheck/TcInstDcls.hs +++ b/compiler/typecheck/TcInstDcls.hs @@ -1412,7 +1412,7 @@ tcMethods dfun_id clas tyvars dfun_ev_vars inst_tys -- 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) @@ -1616,8 +1616,8 @@ warnMissingMethodOrAT what name (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 } |