使用Parsec解析命令式语言的奇怪行为
问题描述:
我试图用haskell中的Parsec解析Abap语言的一个片段。 Abap中的陈述是用点分隔的。函数定义的语法是:使用Parsec解析命令式语言的奇怪行为
FORM <name> <arguments>.
<statements>.
ENDFORM.
我将使用它作为最小示例。 这是我在编写haskell和解析器中的对应类型时的尝试。除了上面描述的函数定义之外,其他所有语句都可以使用该组件。
module Main where
import Control.Applicative
import Data.Functor.Identity
import qualified Text.Parsec as P
import qualified Text.Parsec.String as S
import Text.Parsec.Language
import qualified Text.Parsec.Token as T
type Args = String
type Name = String
data AbapExpr -- ABAP Program
= Form Name Args [AbapExpr]
| GenStatement String [AbapExpr]
deriving (Show, Read)
lexer :: T.TokenParser()
lexer = T.makeTokenParser style
where
caseSensitive = False
keys = ["form", "endform"]
style = emptyDef
{ T.reservedNames = keys
, T.identStart = P.alphaNum <|> P.char '_'
, T.identLetter = P.alphaNum <|> P.char '_'
}
dot :: S.Parser String
dot = T.dot lexer
reserved :: String -> S.Parser()
reserved = T.reserved lexer
identifier :: S.Parser String
identifier = T.identifier lexer
argsP :: S.Parser String
argsP = P.manyTill P.anyChar (P.try (P.lookAhead dot))
genericStatementP :: S.Parser String
genericStatementP = P.manyTill P.anyChar (P.try dot)
abapExprP = P.try (P.between (reserved "form")
(reserved "endform" >> dot)
abapFormP)
<|> abapStmtP
where
abapFormP = Form <$> identifier <*> argsP <* dot <*> many abapExprP
abapStmtP = GenStatement <$> genericStatementP <*> many abapExprP
使用以下输入测试解析器会产生奇怪的行为。
-- a wrapper for convenience
parse :: S.Parser a -> String -> Either P.ParseError a
parse = flip P.parse "Test"
testParse1 = parse abapExprP "form foo arg1 arg2 arg2. form bar arg1. endform. endform."
结果
Right (GenStatement "form foo arg1 arg2 arg2" [GenStatement "form bar arg1" [GenStatement "endform" [GenStatement "endform" []]]])
如此看来第一BRACH总是失败,只有第二个通用分支是成功的。但是,如果第二分支(解析通用报表)的评论解析形式的突然成功:
abapExprP = P.try (P.between (reserved "form")
(reserved "endform" >> dot)
abapFormP)
-- <|> abapStmtP
where
abapFormP = Form <$> identifier <*> argsP <* dot <*> many abapExprP
-- abapStmtP = GenStatement <$> genericStatementP <*> many abapExprP
现在,我们得到
Right (Form "foo" "arg1 arg2 arg2" [Form "bar" "arg1" []])
这怎么可能?看起来第一个分支成功了,为什么它在第一个例子中不起作用 - 我错过了什么?
非常感谢提前!
答
寻找我,你的解析器genericStatementP
解析任何字符,直到出现一个点(您正在使用P.anyChar
)。因此它无法识别您的词法分析器的保留关键字。
我认为你必须定义:
type Args = [String]
和:
argsP :: S.Parser [String]
argsP = P.manyTill identifier (P.try (P.lookAhead dot))
genericStatementP :: S.Parser String
genericStatementP = identifier
有了这些变化,我得到以下结果:
Right (Form "foo" ["arg1","arg2","arg2"] [Form "bar" ["arg1"] []])
就像一个魅力!非常感谢! – jules