Question

当我尝试使用此功能加载我的Heist（0.11）模板时：

load :: MonadIO n => FilePath -> [(Text, Splice n)] -> IO (HeistState n)
load baseDir splices = do
    tmap <- runEitherT  $ do
        templates <- loadTemplates baseDir
        let hc = HeistConfig [] defaultLoadTimeSplices splices [] templates
        initHeist hc
    either (error . concat) return tmap

我收到此错误：

Couldn't match expected type `EitherT e0 m0 t0'
            with actual type `either-3.1:Control.Monad.Trans.Either.EitherT
                                [String] IO Heist.TemplateRepo'
In the return type of a call of `loadTemplates'
In a stmt of a 'do' block: templates <- loadTemplates baseDir
In the second argument of `($)', namely
  `do { templates <- loadTemplates baseDir;
        let hc
              = HeistConfig [] defaultLoadTimeSplices splices [] templates;
        initHeist hc }'

对我来说，loadTemplate似乎正在返回预期的类型，除了用混凝土类型填充的类型参数。我错过了什么？

Answer 1

在安装了相同软件包的多个版本的情况下会发生这种情况。使用ghc-pkg删除除either包之外的所有版本，然后重新安装并再次尝试。

我一次又一次感到困惑。当类型正确并且您开始认为它是GHC错误时，请检查重复的包。

为什么我收到EitherT类型的错误？

1 个答案: