git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Make error list heading emacs-friendly
commitfe6fd02334639155781f1d1cee7003af86823697 authorErik Post <erik@shinsetsu.nl> dateMon 3 Aug 2015, 00:44 (11 years ago) parentc0dd2e6
1 file changed+2−2
src/Language/PureScript/Errors.hs+2−2
src/Language/PureScript/Errors.hs+2−2
@@ -740,13 +740,13 @@ prettyPrintSingleError full level e = prettyPrintErrorMessage <$> onTypesInError
740740-- Pretty print multiple errors
741741--
742742prettyPrintMultipleErrors :: Bool -> MultipleErrors -> String
743−prettyPrintMultipleErrors full = flip evalState M.empty . prettyPrintMultipleErrorsWith Error "Error:" "Multiple errors:" full
743+prettyPrintMultipleErrors full = flip evalState M.empty . prettyPrintMultipleErrorsWith Error "Error found:" "Multiple errors found:" full
744744
745745-- |
746746-- Pretty print multiple warnings
747747--
748748prettyPrintMultipleWarnings :: Bool -> MultipleErrors -> String
749−prettyPrintMultipleWarnings full = flip evalState M.empty . prettyPrintMultipleErrorsWith Warning "Warning:" "Multiple warnings:" full
749+prettyPrintMultipleWarnings full = flip evalState M.empty . prettyPrintMultipleErrorsWith Warning "Warning found:" "Multiple warnings found:" full
750750
751751prettyPrintMultipleErrorsWith :: Level -> String -> String -> Bool -> MultipleErrors -> State UnknownMap String
752752prettyPrintMultipleErrorsWith level intro _ full (MultipleErrors [e]) = do