Test.QuickCheck和Test.Tasty.QuickCheck有什么区别？

Question

我是Quickcheck的新手，在我的程序中，     导入Test.QuickCheck可以，但是     导入Test.Tasty.QuickCheck将报告“找不到模块'Test.Tasty'”

Answer 1

如果您使用的是stack，则需要构建该软件包：

stack build tasty
stack build tasty-quickcheck

然后，stack ghc ...和stack ghci将能够找到模块Test.Tasty.QuickCheck。