管道 attoparsec 的类型检查问题

Question

我一直在尝试 pipe-attoparsec，但运气不佳。

在（似乎是）相对简单的代码中，似乎 Void 和 X 之间存在类型不匹配。根据我在库中读到的内容（在某些时候这将成为类型同义词），我不确定如何解释类​​型错误。

测试代码：

{-# LANGUAGE OverloadedStrings,RankNTypes #-}
module Main where

import qualified Data.Attoparsec.Char8 as A

import qualified Pipes as P
import qualified Pipes.Attoparsec as PA        
import qualified Pipes.ByteString as PB
import qualified Pipes.Parse  as PP

passthrough :: A.Parser PB.ByteString
passthrough = A.takeWhile (\s->True)

f :: Monad m => PP.StateT (P.Producer PB.ByteString m r) m (Either String  String)
f = do
  r <- PA.parse passthrough
  return $ case r of
    Left e -> Left "a"
    Right (_,r1) -> Right "b"

g = PP.evalStateT f PB.stdin

h = P.runEffect g

这会导致错误：

P.hs:16:8:
    Couldn't match type `pipes-4.0.2:Pipes.Internal.Proxy
                           Data.Void.Void () () PB.ByteString m r0'
                  with `P.Proxy P.X () () PB.ByteString m r'
    Expected type: PP.StateT
                     (PP.Producer PB.ByteString m r)
                     m
                     (Either PA.ParsingError (Int, PB.ByteString))
      Actual type: PP.StateT
                     (pipes-4.0.2:Pipes.Core.Producer PB.ByteString m r0)
                     m
                     (Either PA.ParsingError (Int, PB.ByteString))
    In the return type of a call of `PA.parse'
    In a stmt of a 'do' block: r <- PA.parse passthrough
    In the expression:
      do { r <- PA.parse passthrough;
           return
           $ case r of {
               Left e -> Left "a"
               Right (_, r1) -> Right "b" } } Failed, modules loaded: none.

Answer 1

您需要升级到最新的pipes-attoparsec，它将其pipes 依赖限制为4.1.*。如果您列出您为pipes、pipes-parse 和pipes-attoparsec 安装的版本，我可以为您提供更详细的信息，以了解这可能是如何出现的。如果你输入ghc-pkg list | grep pipes 就足够了。

Answer 2

看起来你正在使用 pipes-4.1.0 有版本 pipes-attoparsec（或其他管道-* 包我无法仅从错误消息中确定。）期望 pipes-4.0.2.

如果您同时安装了旧版本和最新版本，您很有可能需要使用ghc-pkg hide 来隐藏旧版本的pipes-attoparsec（或其他管道-* 包）。我偶尔不得不对其他软件包执行此操作，但我不清楚 cabal/ghci/ghc 如何进入必要的状态。

使用ghc-pkg list | grep pipes-attoparsec 查看您安装了哪些版本并尝试隐藏旧版本。如果您只安装了旧版本，请使用 cabal install 来获取新版本。

Void 与 X 不匹配来自 pipes-4.1.0 方式从 void 包。