Skip to content

Commit eadd1da

Browse files
committed
Merge pull request purescript#1327 from epost/emacs-friendlier-errors
Make error list heading emacs-friendly
2 parents fde48d7 + fe6fd02 commit eadd1da

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/Language/PureScript/Errors.hs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -747,13 +747,13 @@ prettyPrintSingleError full level e = prettyPrintErrorMessage <$> onTypesInError
747747
-- Pretty print multiple errors
748748
--
749749
prettyPrintMultipleErrors :: Bool -> MultipleErrors -> String
750-
prettyPrintMultipleErrors full = flip evalState M.empty . prettyPrintMultipleErrorsWith Error "Error:" "Multiple errors:" full
750+
prettyPrintMultipleErrors full = flip evalState M.empty . prettyPrintMultipleErrorsWith Error "Error found:" "Multiple errors found:" full
751751

752752
-- |
753753
-- Pretty print multiple warnings
754754
--
755755
prettyPrintMultipleWarnings :: Bool -> MultipleErrors -> String
756-
prettyPrintMultipleWarnings full = flip evalState M.empty . prettyPrintMultipleErrorsWith Warning "Warning:" "Multiple warnings:" full
756+
prettyPrintMultipleWarnings full = flip evalState M.empty . prettyPrintMultipleErrorsWith Warning "Warning found:" "Multiple warnings found:" full
757757

758758
prettyPrintMultipleErrorsWith :: Level -> String -> String -> Bool -> MultipleErrors -> State UnknownMap String
759759
prettyPrintMultipleErrorsWith level intro _ full (MultipleErrors [e]) = do

0 commit comments

Comments
 (0)