git.iko.soy/Idris-dev
on master help sign in
Made verbatim string literals tokens (to allow whitespace after)
f9332e0Ahmad Salim Al-Sibahi
src/Idris/ParseExpr.hs+2−2
compare with master
unifiedsplit
@@ -1015,8 +1015,8 @@ VerbatimString_t ::=
1015@
1015@
1016 -}
1016 -}
1017verbatimStringLiteral :: MonadicParsing m => m String
1017verbatimStringLiteral :: MonadicParsing m => m String
1018−verbatimStringLiteral = do string "\"\"\""
1018+verbatimStringLiteral = token $ do string "\"\"\""
1019− manyTill anyChar $ try (string "\"\"\"")
1019+ manyTill anyChar $ try (string "\"\"\"")
1020
1020
1021{- | Parses a static modifier
1021{- | Parses a static modifier
1022
1022