秒差距產生奇怪的錯誤

Question

如果我有這樣的代碼：當我測試testparser與像輸入

import Text.Parsec 

ispositive a = if (a<0) then Nothing else (Just a) 

f a b = a+b 

parserfrommaybe :: String -> (Maybe c) -> Parsec a b c 
parserfrommaybe msg Nothing = fail msg 
parserfrommaybe _ (Just res) = return res  

(<!>) :: Parsec a b (Maybe c) -> String -> Parsec a b c 
(<!>) p1 msg = p1 >>= (parserfrommaybe msg)  

integermaybeparser = (ispositive <$> integer) <!> "negative numbers are not allowed" 
testparser = f <$> (integermaybeparser <* whiteSpace) <*> integermaybeparser 

這個「-1 3」它給：

Left (line 1, column 4): 
unexpected "3" 
negative numbers are not allowed 

我期望它給列1上的錯誤，並給出沒有「意外的3」句子的錯誤消息，但它似乎parsec繼續解析。

爲什麼會發生這種情況？以及如何使parsec給出我期望的錯誤信息？

Answer 1

我找到了解決方案，其原因是第一個解析器即使在失敗時也會運行並消耗輸入。

的解決方案是使用lookAhead這樣的：

(<!>) :: (Monad m,Stream a m t) => ParsecT a b m (Maybe c) -> String -> ParsecT a b m c 
(<!>) p1 msg = ((lookAhead p1) >>= (parserfrommaybe msg)) *> (p1 >>= (parserfrommaybe msg)) 

如果lookAhead p1回報Nothing那麼*>第一個參數會失敗，而無需耗費因爲lookAhead輸入，現在如果lookAhead p1回報Just res那麼就無需再次成功消耗的輸入，結果將從*>的第二個參數中獲得。

ofcourse我不得不將parserfrommaybe類型註釋改爲(Monad m) => String -> (Maybe c) -> ParsecT a b m c以滿足ghc。