on master help sign in
Do not use the term "arguments" in binary operator errors
5bf3d0cEvan Czaplicki
src/Reporting/Error/Type.hs+5−5
@@ -261,14 +261,14 @@ mismatchToReport localizer (MismatchInfo hint leftType rightType maybeReason) =
261 BinopRight op region ->
261 BinopRight op region ->
262 report
262 report
263 (Just region)
263 (Just region)
264− ("The right argument of " ++ prettyName op ++ " is causing a type mismatch.")
264+ ("The right side of " ++ prettyName op ++ " is causing a type mismatch.")
265 ( cmpHint
265 ( cmpHint
266− (prettyName op ++ " is expecting the right argument to be a:")
266+ (prettyName op ++ " is expecting the right side to be a:")
267− "But the right argument is:"
267+ "But the right side is:"
268 ( binopHint op leftType rightType
268 ( binopHint op leftType rightType
269 ++
269 ++
270− [ "I always figure out the type of the left argument first and if it is\
270+ [ "With binary operations, I always figure out the left side first. If it\
271− \ acceptable on its own, I assume it is \"correct\" in subsequent checks.\
271+ \ seems fine, I assume it is \"correct\" in subsequent checks.\
272 \ So the problem may actually be in how the left and right arguments interact."
272 \ So the problem may actually be in how the left and right arguments interact."
273 ]
273 ]
274 )
274 )