Merge pull request #4836 from jfdm/fix-literate-newline

Use proper newline character when lexing.
idris-lang · Mar 31, 2020 · be69a0b · be69a0b
2 parents 7c0644f + 17106b6
commit be69a0b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libs/contrib/Text/Literate.idr b/libs/contrib/Text/Literate.idr
@@ -30,7 +30,7 @@ import Data.List.Views
 %default total
 
 untilEOL : Recognise False
-untilEOL = manyUntil (is '\n') any
+untilEOL = manyUntil newline any
 
 line : String -> Lexer
 line s = exact s <+> space <+> untilEOL