在 Windows 上找不到模块“Test.QuickCheck”

Question

我的ghci版本是8.4.3

我试过了

stack install QuickCheck

安装了一些东西。但是当我输入 import Test.QuickCheck 时，它再次告诉 Could not find module ‘Test.QuickCheck’。我该如何解决？

Answer 1

cabal install QuickCheck-2.12.6.1.tar.gz

Answer 2

首先，stack install is not recommended 用于安装可执行文件或库。相反，您可以通过以下几项操作来使用 QuickCheck 库：

如果您想在 stack ghci 或 stack ghc 等命令中使用 QuickCheck，您可以将其添加为 --package 选项，例如运行一个 REPL 来玩 QuickCheck 你可以使用 stack ghci --package QuickCheck 然后写 import Test.QuickCheck.
如果您想使用 QuickCheck 编写一个小型单文件程序，那么您可以运行 stack ghc --package QuickCheck -- MyProgram.hs（使用最后一个要点中的 --package 选项).或者，您可以使用 stack 的 scripting functionality 并在程序顶部包含如下一行： -- stack --resolver lts-12.18 script --package QuickCheck
如果您想在大型项目中使用 QuickCheck，请将其作为依赖项添加到您的 my-program.cabal 或 project.yaml 文件中。

相同的指南适用于您可能想要使用的任何包。

Answer 3

myos>cabal update
myos>cabal install --lib QuickCheck
myos>ghci
gchi> import Test.QuickCheck

Could not find module ‘Test.QuickCheck’ on Windows