Parsec-Haskell,格式化解析错误

2023年1月31日 268次阅读

我正在开发一个简单的计算器,它接受一行输入,使用parsec解析它,然后处理它.

我想使parsec解析错误消息更小.它们包括位置信息,这对于一行输入不是必需的.我尝试过使用<？>但它并没有完全符合我的要求.

试图提取解析错误的原因并没有产生良好的结果.

为不匹配的括号指定错误或者只是语法错误消息的一些方法会很好.

最佳答案 您可以使用Text.Parsec.Error中的errorMessages,messageString,errorPos和sourceColumn函数来获取错误消息和错误的源位置.

以下是从this blog post开始的示例.它演示了<？>的使用.并使用上述功能自定义错误处理：

import Text.ParserCombinators.Parsec
import Text.ParserCombinators.Parsec.Expr
import Text.Parsec.Error

expr :: Parser Integer
expr = buildExpressionParser table factor <?> "expression"

table :: [[ Operator Char st Integer ]]
table = [
    [ op "*" (*) AssocLeft, op "/" div AssocLeft ],
    [ op "+" (+) AssocLeft, op "-" (-) AssocLeft ]
    ]
  where
    op s f assoc = Infix (do { string s ; return f }) assoc

factor = do { char '(' ; x <- expr ; char ')' ; return x }
   <|> number
   <?> "simple expression"

number :: Parser Integer
number = do { ds <- many1 digit; return (read ds) } <?> "number"

doit str =
  case parse expr "blah" str of
    Left e -> do let msgs = filter (not.null) $map messageString (errorMessages e)
                 let col = sourceColumn (errorPos e)
                 putStrLn $"error at column " ++ show col ++ ": " ++ show msgs
    Right x -> putStrLn $"ok - got: " ++ show x

main = do
  doit "3+5"
  doit "5-"
  doit "("
点赞