96f5b98 · rowtype-yoga/purescript-native

git.iko.soy/rowtype-yoga/purescript-native

on golang help sign in

Link to Text.Parsec.Error.showErrorMessages from comment

96f5b98Erik Post11 years ago

src/Language/PureScript/Errors.hs+5−1

@@ -827,7 +827,11 @@ prettyPrintMultipleErrorsWith level _ intro full (MultipleErrors es) = do

827prettyPrintParseError :: P.ParseError -> Box.Box

828prettyPrintParseError = (prettyPrintParseErrorMessages "or" "unknown parse error" "expecting" "unexpected" "end of input") . PE.errorMessages

829

830+-- |

830−-- | Pretty print ParseError detail messages. Adapted from Text.Parsec.Error.showErrorMessages.

831+-- Pretty print ParseError detail messages.

832+--

833+-- Adapted from 'Text.Parsec.Error.showErrorMessages', see <https://github.com/aslatter/parsec/blob/v3.1.9/Text/Parsec/Error.hs#L173>.

834+--

831prettyPrintParseErrorMessages :: String -> String -> String -> String -> String -> [Message] -> Box.Box

835prettyPrintParseErrorMessages :: String -> String -> String -> String -> String -> [Message] -> Box.Box

832prettyPrintParseErrorMessages msgOr msgUnknown msgExpecting msgUnExpected msgEndOfInput msgs

836prettyPrintParseErrorMessages msgOr msgUnknown msgExpecting msgUnExpected msgEndOfInput msgs

833 | null msgs = Box.text msgUnknown

837 | null msgs = Box.text msgUnknown