git.iko.soy/Idris-dev
on master help sign in
Fix deprecation warning in Text.Literate
8cb1337Edwin Brady
libs/contrib/Text/Literate.idr+2−2
compare with master
unifiedsplit
@@ -30,13 +30,13 @@ import Data.List.Views
30%default total
30%default total
31
31
32untilEOL : Recognise False
32untilEOL : Recognise False
33−untilEOL = manyTill any (is '\n')
33+untilEOL = manyUntil (is '\n') any
34
34
35line : String -> Lexer
35line : String -> Lexer
36line s = exact s <+> space <+> untilEOL
36line s = exact s <+> space <+> untilEOL
37
37
38block : String -> String -> Lexer
38block : String -> String -> Lexer
39−block s e = exact s <+> manyTill any (exact e)
39+block s e = exact s <+> manyUntil (exact e) any
40
40
41data Token = CodeBlock String String String
41data Token = CodeBlock String String String
42 | Any String
42 | Any String