Fix Haddock parse error
commit6b811a4341247fabb346871dc5f211fd86bc3e50
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateWed 22 Jan 2014, 17:05 (13 years ago)
parent724c1d9
src/Idris/ParseExpr.hs+3−1
@@ -1030,9 +1030,11 @@ constant = do reserved "Integer";return (AType (ATInt ITBig))
10301030 <?> "constant or literal"
10311031
10321032{- | Parses a verbatim multi-line string literal (triple-quoted)
1033+
10331034@
10341035VerbatimString_t ::=
1035− '"""' ~'"""' '"""'
1036+ '\"\"\"' ~'\"\"\"' '\"\"\"'
1037+;
10361038@
10371039 -}
10381040verbatimStringLiteral :: MonadicParsing m => m String