@@ -1030,9 +1030,11 @@ constant = do reserved "Integer";return (AType (ATInt ITBig))
1030 <?> "constant or literal"
1030 <?> "constant or literal"
1032{- | Parses a verbatim multi-line string literal (triple-quoted)
1032{- | Parses a verbatim multi-line string literal (triple-quoted)
1034VerbatimString_t ::=
1035VerbatimString_t ::=
1035− '"""' ~'"""' '"""'
1036+ '\"\"\"' ~'\"\"\"' '\"\"\"'
1038verbatimStringLiteral :: MonadicParsing m => m String
1040verbatimStringLiteral :: MonadicParsing m => m String