@@ -364,7 +364,7 @@ mismatchToReport localizer (MismatchInfo hint leftType rightType maybeReason) =
364 BadTypeAnnotation name ->
364 BadTypeAnnotation name ->
367− ("The type annotation for " ++ Help.functionName name ++ " does not match its definition.")
367+ ("The implementation of " ++ Help.functionName name ++ " does not match its type annotation.")
368 ( cmpHint
368 ( cmpHint
369 "The type annotation is saying:"
369 "The type annotation is saying:"
370 "But I am inferring that the definition has this type:"
370 "But I am inferring that the definition has this type:"