Question

我的ghci版本是8.4.3

我尝试过

stack install QuickCheck

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

Answer 1

首先，stack install is not recommended用于安装可执行文件或库。相反，您可以使用以下两种方法来使用QuickCheck库：

如果您想在QuickCheck或stack ghci之类的命令中使用stack ghc，则可以将其作为--package选项添加，例如要运行REPL与QuickCheck一起玩，您可以使用stack ghci --package QuickCheck，然后编写import Test.QuickCheck。
如果要使用QuickCheck编写一个小型的单文件程序，则可以运行stack ghc --package QuickCheck -- MyProgram.hs（使用最后一个要点的--package选项）。另外，您可以使用stack的{{3}}，并在程序顶部添加如下一行： -- stack --resolver lts-12.18 script --package QuickCheck
如果要在大型项目中使用QuickCheck，则将其作为依赖项添加到my-program.cabal或project.yaml文件中。

同一指南适用于您可能要使用的任何软件包。

Answer 2

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

Answer 3