on master help sign in
Fix deprecation warning in Text.Literate
commit8cb13377494d0ae9d0d009aca831158514374e38 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateSun 17 Sep 2017, 17:33 (9 years ago) parentf2790b0
1 file changed+2−2
libs/contrib/Text/Literate.idr+2−2
libs/contrib/Text/Literate.idr+2−2
@@ -30,13 +30,13 @@ import Data.List.Views
3030%default total
3131
3232untilEOL : Recognise False
33−untilEOL = manyTill any (is '\n')
33+untilEOL = manyUntil (is '\n') any
3434
3535line : String -> Lexer
3636line s = exact s <+> space <+> untilEOL
3737
3838block : String -> String -> Lexer
39−block s e = exact s <+> manyTill any (exact e)
39+block s e = exact s <+> manyUntil (exact e) any
4040
4141data Token = CodeBlock String String String
4242 | Any String