Rephrase 'bad type annotation' error message to focus on the implementation.
commit505bafcb6a73d7ba26ef5ab84e67b0ef7ff92a58
authorRichard Feldman <richard.t.feldman@gmail.com>
dateTue 19 Jul 2016, 11:35 (10 years ago)
parent49eed34
src/Reporting/Error/Type.hs+1−1
@@ -364,7 +364,7 @@ mismatchToReport localizer (MismatchInfo hint leftType rightType maybeReason) =
364364 BadTypeAnnotation name ->
365365 report
366366 Nothing
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.")
368368 ( cmpHint
369369 "The type annotation is saying:"
370370 "But I am inferring that the definition has this type:"