git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Make error list heading emacs-friendly
fe6fd02Erik Post
src/Language/PureScript/Errors.hs+2−2
compare with golang
unifiedsplit
@@ -740,13 +740,13 @@ prettyPrintSingleError full level e = prettyPrintErrorMessage <$> onTypesInError
740-- Pretty print multiple errors
740-- Pretty print multiple errors
741--
741--
742prettyPrintMultipleErrors :: Bool -> MultipleErrors -> String
742prettyPrintMultipleErrors :: 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
744
744
745-- |
745-- |
746-- Pretty print multiple warnings
746-- Pretty print multiple warnings
747--
747--
748prettyPrintMultipleWarnings :: Bool -> MultipleErrors -> String
748prettyPrintMultipleWarnings :: 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
750
750
751prettyPrintMultipleErrorsWith :: Level -> String -> String -> Bool -> MultipleErrors -> State UnknownMap String
751prettyPrintMultipleErrorsWith :: Level -> String -> String -> Bool -> MultipleErrors -> State UnknownMap String
752prettyPrintMultipleErrorsWith level intro _ full (MultipleErrors [e]) = do
752prettyPrintMultipleErrorsWith level intro _ full (MultipleErrors [e]) = do