4

安装了快速检查，

我再次安装 cabal install QuickCheck-1.2.0.0

并再次加载并出现错误

找不到模块Test.QuickCheck.Batch': It is a member of the hidden packageQuickCheck-1.2.0.0'。

是隐藏包，怎么办？

ghc -o tryprog hello.hs -package QuickCheck-1.2.0.0 : 不能满足 -package QuickCheck-1.2.0.0 （使用 -v 获取更多信息）

除了这个错误，如何使用包 quickcheck-1.2.0.0 加载 .hs 文件？

此题加50分

我真诚地请求您帮助解决这个加载问题！

4

3 回答 3

12

您可以使用 in等ghc-pkg命令隐藏或公开包。ghc-pkg expose QuickCheck-1.2.0.0ghc-pkg hide QuickCheck-2.4

于 2011-04-20T14:25:32.020 回答
3

Test.QuickCheck.Batch是一个 quickcheck 版本 1.x 模块，您可能安装了更新的 2.x 版本的 quickcheck。像往常一样，您可以找到有关 hackage 的文档。

于 2011-04-14T14:44:16.290 回答
3

根据GHC 用户指南，您在编译时使用 -package 来指定包名称。根据您遇到的错误，您应该指定“-package QuickCheck-1.2.0.0”。

于 2011-04-19T13:25:31.640 回答