Made verbatim string literals tokens (to allow whitespace after)
commitf9332e0d349d557912eea1fb1ac3bdb1fc388bb5
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateSat 11 Jan 2014, 21:40 (13 years ago)
parentc99854a
src/Idris/ParseExpr.hs+2−2
@@ -1015,8 +1015,8 @@ VerbatimString_t ::=
10151015@
10161016 -}
10171017verbatimStringLiteral :: MonadicParsing m => m String
1018−verbatimStringLiteral = do string "\"\"\""
1019− manyTill anyChar $ try (string "\"\"\"")
1018+verbatimStringLiteral = token $ do string "\"\"\""
1019+ manyTill anyChar $ try (string "\"\"\"")
10201020
10211021{- | Parses a static modifier
10221022