如何在Text.Parsec.Expr中製作後綴（ - ）

Question

我從Text.Parsec.Expr的文檔中獲得了一個示例。

expr = buildExpressionParser table term 
      <?> "expression" 
term = parens expr 
     <|> natural 
     <?> "simple expression" 
table = [ [prefix "-" negate, prefix "+" id ] 
      , [postfix "++" (+1)] 
      , [binary "*" (*) AssocLeft, binary "/" (div) AssocLeft ] 
      , [binary "+" (+) AssocLeft, binary "-" (-) AssocLeft ] 
      ] 

我會嘗試添加後綴--操作，改變爲表第二行

  , [postfix "++" (+1), postfix "--" (subtract 1)] 

現在

runParser expr() "expr" "1--" 

給我ghci中Right 1。

爲什麼我得到它，以及如何提供後綴（--）？

Answer 1

"--1"被解析爲[prefix "-", prefix "-", number 1]和評估爲negate (negate 1)這將產生1

要獲得一個後綴(--)，並runParser expr() "expr" "1--"不會給你一個後綴--？

解析似乎不消耗整個輸入。我不知道爲什麼，雖然

module ExParse where 

import Text.Parsec 
import Text.Parsec.Expr 

parens p = do 
    char '(' 
    e <- p 
    char ')' 
    return e 

reservedOp s = do 
    string s 
    notFollowedBy letter 

natural = fmap read $ many1 digit 

expr = buildExpressionParser table term 
      <?> "expression" 
term = parens expr 
     <|> natural 
     <?> "simple expression" 
table = [ [prefix "-" negate, prefix "+" id ] 
      , [postfix "++" (+1), postfix "--" (subtract 1)] 
      , [binary "*" (*) AssocLeft, binary "/" (div) AssocLeft ] 
      , [binary "+" (+) AssocLeft, binary "-" (-) AssocLeft ] 
      ] 

binary name fun assoc = Infix (do{ reservedOp name; return fun }) assoc 
prefix name fun  = Prefix (do{ reservedOp name; return fun }) 
postfix name fun  = Postfix (do{ reservedOp name; return fun }) 

res = runParser expr() "expr" "1--" 

產生

*ExParse> res 
Right 0 

這裏期望。

與natural = P.natural lexer的問題是，它被定義爲

natural = lexeme nat 

和

lexeme p = do 
    x <- p 
    whiteSpace 
    return x 

這裏評論算作空白。現在，Haskell中的行註釋從--開始，因此natural = P.natural lexer,natural消耗整個字符串"1--"。要使--可用作後綴運算符，您必須選擇不是註釋啓動器的語言定義。例如，您可以修改haskellDef每

lexer = P.makeTokenParser (haskellDef{P.commentLine = "//"}) 

或重新定義whiteSpace解析器。