使用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" []])

这怎么可能？看起来第一个分支成功了，为什么它在第一个例子中不起作用 - 我错过了什么？

非常感谢提前！

来源

2017-10-14 jules

寻找我，你的解析器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"] []])

来源

2017-10-14 15:00:48 mschmidt

就像一个魅力！非常感谢！ – jules

使用Parsec解析命令式语言的奇怪行为

回答

相关问题