1

我正在尝试使用 megaparsec 编写一个简单的解析器并遇到以下问题:

type MyParser = Parsec Void String

xxx :: MyParser Int
xxx  = do
    satisfy (`notElem` "!>")
    return 1

gbgc :: MyParser [Int]
gbgc  = many (yyy <|> xxx)

我在线收到错误消息:满足 .... 那说:

没有由 do 语句产生的 (ErrorComponent Void) 实例在“do”块的 stmt 中:满足(notElem“!>”)

4

0 回答 0