9

我在文件顶部导入 QuickCheck：

import Test.QuickCheck
...

编译文件ghc Lab1.hs给我这个错误：

Lab1.hs:1:8:
    Could not find module `Test.QuickCheck'
    Use -v to see a list of the files searched for.
Failed, modules loaded: none.

我尝试了一个 apt-cache 搜索quickcheck并得到了一个可怕的软件包列表。尝试安装libghc-test-framework-dev只是因为我认为该名称似乎合适，但错误仍然存​​在。

如何安装 QuickCheck 模块？

4

2 回答 2

20

如果你有兴趣在你的包管理器之外管理你的 Haskell 包（如果你有兴趣使用最新版本的东西，这可能是有益的）然后 Cabal 是 Haskell 包管理器，它可以让你做

apt-get install cabal-install
cabal update
cabal install QuickCheck

使 QuickCheck 在全球范围内可用。

然而，最近更推荐的是使用sandboxCabal 的功能。如果您更熟悉这些，这与 Pythonvirtualenv或 Ruby非常相似。bundle为此，您必须创建一个“cabalized”项目

cabal init        # in an empty directory

然后将QuickCheck（和您的其他库依赖项）放入build-depends:生成<folder name>.cabal文件的插槽中。

完成此操作后，您将使用 Cabal 进行所有进一步的包管理和编译命令。

cabal sandbox init                  # creates your local package sandbox
cabal install --only-dependencies   # gets and installs all the build-dependencies

cabal repl                          # starts up GHCi in the local sandbox
cabal build                         # configures and builds the local project

cabal sandbox delete                # cleans up the sandbox
于 2013-10-29T15:12:04.523 回答
2

在 Ubuntu 14.04.1 中：

sudo apt-get install libghc-quickcheck2-dev

前：

> :m +Test.QuickCheck

<no location info>:
    Could not find module `Test.QuickCheck'
    It is not a module in the current program, or in any known package.

后：

Prelude> :m +Test.QuickCheck
Prelude Test.QuickCheck>
于 2014-08-25T02:54:41.613 回答