要求取自DOT 语言规范,更准确地说,我正在尝试解析[ID]
属性,例如,
任何可能包含转义引号 (\")1 的双引号字符串 ("...");
以下应该是一个最小的示例。
{-# LANGUAGE OverloadedStrings #-}
module Main where
import Text.Megaparsec
import Text.Megaparsec.Char
import Data.Void
import Data.Char
import Data.Text hiding ( map
, all
, concat
)
type Parser = Parsec Void Text
escape :: Parser String
escape = do
d <- char '\\'
c <- oneOf ['\\', '\"', '0', 'n', 'r', 'v', 't', 'b', 'f']
return [d, c]
nonEscape :: Parser Char
nonEscape = noneOf ['\\', '\"', '\0', '\n', '\r', '\v', '\t', '\b', '\f']
identPQuoted :: Parser String
identPQuoted =
let inner = fmap return (try nonEscape) <|> escape
in do
char '"'
strings <- many inner
char '"'
return $ concat strings
identP :: Parser Text
identP = identPQuoted >>= return . pack
main = parseTest identP "\"foo \"bar\""
上面的代码在第二次失败并返回"foo "
,即使我想要foo "bar
我不明白为什么。我认为这megaparsec
会重复应用inner
,直到它解析最终的"
. 但它只是重复应用nonEscape
解析器,第一次失败,它使用escape
,然后似乎跳过了内部字符串的其余部分,然后继续到最后的引号。