Skip to content

Commit 6343b42

Browse files
committed
Merge pull request #12 from sharkdp/fix-whiteSpace
Fix white space characters in `whiteSpace`
2 parents a992731 + 331aa6c commit 6343b42

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/Text/Parsing/StringParser/String.purs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -72,7 +72,7 @@ char c = satisfy (== c) <?> "Could not match character " <> toString c
7272
-- | Match many whitespace characters.
7373
whiteSpace :: Parser String
7474
whiteSpace = do
75-
cs <- many (satisfy \ c -> c == 'n' || c == 'r' || c == ' ' || c == '\t')
75+
cs <- many (satisfy \ c -> c == '\n' || c == '\r' || c == ' ' || c == '\t')
7676
return (foldMap toString cs)
7777

7878
-- | Skip many whitespace characters.

0 commit comments

Comments
 (0)