在Windows上找不到模块"Test.QuickCheck"

Question

我的ghci版本是8.4.3

我试过

stack install QuickCheck

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

Answer 1

首先，不建议使用stack install安装可执行文件或库。相反，使用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的脚本功能，并在程序顶部包含这样一行： -- stack --resolver lts-12.18 script --package QuickCheck
• 如果要在大型项目中使用QuickCheck，请将其作为依赖项添加到my-program.cabal或project.yaml文件中

同样的指导适用于您可能想要使用的任何软件包。

Answer 2

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