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



我是Quickcheck的新手,在我的程序中, 导入测试快速检查有效,但是 导入 Test.Tasty.QuickCheck 将报告"找不到模块'Test.Tasty'">

如果您使用的是堆栈,则需要构建该包:

stack build tasty
stack build tasty-quickcheck

之后,stack ghc ...stack ghci将能够找到模块Test.Tasty.QuickCheck

最新更新