haskell - 如何从此 Parsec 错误中删除 "expecting letter or digit"？

Question

我在 Parsec 中玩弄一个未完成的解析器，用于类似 Haskell 的语言。

它似乎工作正常，尽管我对错误消息不满意。

输入:"foo (bar"

错误:expecting letter or digit, operand or ")"

我怎样才能让它只打印 expecting operand or ")" ?我试过添加 <?>但无法让它工作。

这是我的代码:

separator = skipMany1 space
        <?> ""

identifier :: Parser String
identifier = (:) <$> letter <*> many alphaNum
         <?> "identifier"

number :: Parser String
number = many1 digit
     <?> "numeric literal"

primitiveExpr :: Parser String
primitiveExpr = (identifier
            <|> number)
            <?> "primitive expression"

expr :: Parser ()
expr = do identifier
          spaces <?> ""
          sepBy operand separator
          return ()

parenExpr :: Parser String
parenExpr = do char '('
               expr
               char ')'
               return "foo"
        <?> "parenthesized expression"

operand = parenExpr <|> primitiveExpr
        <?> "operand"

Answer 1

我想出了如何获得所需的行为。这是由 alphaNum 引起的:

identifier = (:) <$> letter <*> (many alphaNum <?> "")
         <?> "identifier"

自 "bar"可以继续被解析为标识符。