git.iko.soy/elk
on master help sign in
Make sure the (|>) error message is reliably correct
787034eEvan Czaplicki
compiler/src/Reporting/Error/Type.hs+2−2
compare with master
unifiedsplit
@@ -1079,7 +1079,7 @@ opRightToDocs localizer category op tipe expected =
1079 EmphRight
1079 EmphRight
1080 ( D.reflow $ "I cannot send this through the (<|) pipe:"
1080 ( D.reflow $ "I cannot send this through the (<|) pipe:"
1081 , typeComparison localizer tipe expected
1081 , typeComparison localizer tipe expected
1082− (addCategory "You are providing" category)
1082+ "The argument is:"
1083 "But (<|) is piping it a function that expects:"
1083 "But (<|) is piping it a function that expects:"
1084 []
1084 []
1085 )
1085 )
@@ -1090,7 +1090,7 @@ opRightToDocs localizer category op tipe expected =
1090 EmphRight
1090 EmphRight
1091 ( D.reflow $ "This function cannot handle the argument sent through the (|>) pipe:"
1091 ( D.reflow $ "This function cannot handle the argument sent through the (|>) pipe:"
1092 , typeComparison localizer argType expectedArgType
1092 , typeComparison localizer argType expectedArgType
1093− (addCategory "The argument is" category)
1093+ "The argument is:"
1094 "But (|>) is piping it a function that expects:"
1094 "But (|>) is piping it a function that expects:"
1095 []
1095 []
1096 )
1096 )