Question

我一直在尝试使用buildExpressionParser来解析一种语言，而我几乎拥有它。感谢Parsec.Expr repeated Prefix/Postfix operator not supported解决我的一个大问题。

这段代码片段说明了（我希望是什么）我的最后一个难题：

import Text.Parsec.Expr
import Text.Parsec

data Expr = Lit Char | A1 Expr | A2 Expr | B Expr Expr
  deriving (Show)

expr :: Parsec String () Expr
expr = buildExpressionParser table (fmap Lit digit)

prefix p = Prefix . chainl1 p $ return (.)

table =
  [ [prefix $ char ',' >> return A1]
  , [Infix   (char '*' >> return B) AssocNone]
  , [prefix $ char '.' >> return A2]]

成功（并且正确）解析,,0，..0，.,0，.0*0和,0*0;但是，它无法解析,.0或.0*.0。我可以看到为什么这两个不解析，但我不知道如何更改解析器，以便没有任何成功改变，两个失败解析。

“解决”这种方法的一种方法是将(fmap Lit digit)更改为(fmap Lit Digit <|> expr)，但解析器将循环而不是错误。

建议欢迎。

编辑：以下解析是关键：

> parseTest expr ".0*0"
A2 (B (Lit '0') (Lit '0'))

> parseTest expr ",0*0"
B (A1 (Lit '0')) (Lit '0')

Answer 1

获得'。'和'，'在一个级别上你可以一起对待它们：

import Text.Parsec.Expr
import Text.Parsec

data Expr = Lit Char | A1 Expr | A2 Expr | B Expr Expr
  deriving (Show)

expr :: Parsec String () Expr
expr = buildExpressionParser table  (fmap Lit digit)
prefix p = Prefix . chainl1 p $ return (.)

table =
  [  [prefix $ (char ',' >> return A1) <|> (char '.' >> return A2)]
  , [Infix   (char '*' >> return B) AssocNone]
  , [prefix $ (char ',' >> return A1)] 
  ]

-- *Main> let f = parseTest expr
-- *Main> f ".,0"
-- A2 (A1 (Lit '0'))
-- *Main> f ".0*.0"
-- B (A2 (Lit '0')) (A2 (Lit '0'))
-- *Main> f ".0*,.0"
-- B (A2 (Lit '0')) (A1 (A2 (Lit '0')))
-- *Main> f ".,.0"
-- A2 (A1 (A2 (Lit '0')))
-- *Main> f ",.0"
-- A1 (A2 (Lit '0'))

编辑，这是早期显然不充分的尝试

 table =
   [  [prefix $ (char ',' >> return A1) <|> (char '.' >> return A2)]
   , [Infix   (char '*' >> return B) AssocNone]
   ]

如何使用Text.Parsec.Expr中的buildExpressionParser来解析此语言？

1 个答案: