Haskell - 找不到模块“Test.QuickCheck”

Question

当我尝试运行haskell 时，我收到一条错误消息，提示该模块不存在。这很奇怪，因为我尝试先安装它并说它是最新的。知道如何解决这个问题吗？

Answer 1

您可以尝试在保存您的项目的本地目录中创建package environment，如下所示：

c:\Users\...\ex1haskell> cabal install --lib --package-env . QuickCheck

这应该在ex1haskell 中创建一个.ghc.environment.xxx 形式的文件，希望该文件应该被runhaskell/ghci/ghc 调用拾取。

在ghci 会话中，环境正在被拾取的标志是启动时出现以下消息：

从...加载包环境

当--package-env 位置未明确给出时，将使用默认位置。 According to the docs:

默认情况下，它正在写入到全局环境中 ~/.ghc/$ARCH-$OS-$GHCVER/environments/default。 v2-install 提供 --package-env 标志来控制这些环境中的哪一个被修改。

但似乎runhaskell 在该默认位置查找环境文件时遇到问题。

注意。创建包环境时，可以同时指定多个包，如下所示：

cabal install --lib --package-env . QuickCheck random aeson transformers

此外，包环境只是文本文件，因此可以随意删除和重新创建本地环境。实际的包二进制文件位于其他地方，并且可能被cabal 重用。

Answer 2

一个共同的环境

如果/当实际工具不同时，很难调试，所以让我们首先进行统一设置。我将使用 docker 来获取 GHC 8 和 Cabal 3.x：

docker run --rm -it haskell bash

请理解，这不是任意的，甚至不是先发制人的。你所展示的 - cabal install --lib ... 和 runhaskell ... 确实适用于理智的工具安装。您可能安装了错误的工具或具有不同行为的旧版本工具。

使用 runhaskell 运行单个文件

现在我们需要一个项目：

root@8a934c302dba:/# mkdir Ex1
root@8a934c302dba:/# cd Ex1
root@8a934c302dba:/Ex1# cat <<EOF >Main.hs
> import Test.QuickCheck
>
> main :: IO ()
> main = print =<< (generate arbitrary :: IO Int)
> EOF

测试失败：

root@8a934c302dba:/Ex1# runhaskell Main.hs

Main.hs:1:1: error:
    Could not find module `Test.QuickCheck'
    Use -v (or `:set -v` in ghci) to see a list of the files searched for.
  |
1 | import Test.QuickCheck

并安装库：

root@8a934c302dba:/Ex1# cabal update && cabal install --lib QuickCheck

并成功运行：

root@8a934c302dba:/Ex1# runhaskell Main.hs
15

所以我上面的评论是错误的——我们不需要明确列出包，因为它在安装后已经暴露了。