我是Quickcheck的新手,在我的程序中, 导入测试快速检查有效,但是 导入 Test.Tasty.QuickCheck 将报告"找不到模块'Test.Tasty'">
如果您使用的是堆栈,则需要构建该包:
stack build tasty
stack build tasty-quickcheck
之后,stack ghc ...
和stack ghci
将能够找到模块Test.Tasty.QuickCheck
。