Haskell QuickCheck-2.11.3 包中缺少文件答案

【问题标题】：Haskell there are files missing in the QuickCheck-2.11.3 packageHaskell QuickCheck-2.11.3 包中缺少文件
【发布时间】：2018-09-20 16:40:34
【问题描述】：

我尝试通过 ghc MyProgramm.hs 运行使用 Haskell QuickCheck 的程序，但收到以下错误：

$ ghc Ex2.hs 
[1 of 1] Compiling Ex2              ( Ex2.hs, Ex2.o )

Ex2.hs:21:1: error:
    Could not find module ‘Test.QuickCheck’
    There are files missing in the ‘QuickCheck-2.11.3’ package,
    try running 'ghc-pkg check'.
    Use -v to see a list of the files searched for.
   |
21 | import Test.QuickCheck (
   | ^^^^^^^^^^^^^^^^^^^^^^^^...

我安装了stack，运行stack update 和stack install QuickCheck 没有问题，但错误仍然存在。然后，我运行cabal install QuickCheck 并得到以下错误：

$ cabal install QuickCheck
Resolving dependencies...
Configuring QuickCheck-2.12.4...
Building QuickCheck-2.12.4...
Failed to install QuickCheck-2.12.4
Build log ( /home/username/.cabal/logs/ghc-8.4.3/QuickCheck-2.12.4-3d2YDDqfPBn4BfmTJbpJXK.log ):
cabal: Entering directory '/tmp/cabal-tmp-9133/QuickCheck-2.12.4'
Configuring QuickCheck-2.12.4...
Preprocessing library for QuickCheck-2.12.4..
Building library for QuickCheck-2.12.4..
[ 1 of 16] Compiling Test.QuickCheck.Exception ( Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o )
[ 2 of 16] Compiling Test.QuickCheck.Random ( Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o )

Test/QuickCheck/Random.hs:10:1: error:
    Could not find module ‘System.Random’
    There are files missing in the ‘random-1.1’ package,
    try running 'ghc-pkg check'.
    Use -v to see a list of the files searched for.
   |
10 | import System.Random
   | ^^^^^^^^^^^^^^^^^^^^

Test/QuickCheck/Random.hs:11:1: error:
    Could not find module ‘System.Random.TF’
    There are files missing in the ‘tf-random-0.5’ package,
    try running 'ghc-pkg check'.
    Use -v to see a list of the files searched for.
   |
11 | import System.Random.TF
   | ^^^^^^^^^^^^^^^^^^^^^^^

Test/QuickCheck/Random.hs:12:1: error:
    Could not find module ‘System.Random.TF.Gen’
    There are files missing in the ‘tf-random-0.5’ package,
    try running 'ghc-pkg check'.
    Use -v to see a list of the files searched for.
   |
12 | import System.Random.TF.Gen(splitn)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-9133/QuickCheck-2.12.4'
cabal: Error: some packages failed to install:
QuickCheck-2.12.4-3d2YDDqfPBn4BfmTJbpJXK failed during the building phase. The
exception was:
ExitFailure 1

但是，我已经安装了拱形包haskell-random、haskell-tf-random 和haskell-mwc-random。有人知道如何解决这个问题吗？

编辑：我也跑了cabal install random --reinstall。

【问题讨论】：

您会注意到 cabal 建议运行 ghc-pkg check。你试过了吗？
使用 Stack，您实际上不应该在系统上安装软件包。将所需的包添加到项目的.cabal 文件并使用stack build、stack test 等运行。
@AJFarmar 是的，我做到了。
@MarkSeemann 不知道，我以后会那样做的。

标签： haskell archlinux quickcheck manjaro

【解决方案1】：

即使我有一个 main = do 并且无法以这种方式工作，我还是能够按如下方式运行我的 QuickCheck 测试：

要运行 quickCheck，首先加载您的程序：

 $ ghci MyProg.hs

然后运行 quickCheck，找到你想运行的测试，然后运行它：

 $ quickCheck my_quick_check

【讨论】：