在Ubuntu Linux(Windows子系统层)上使用Stack GHCi,即使可以构建和导入它,我也不能使用Test.QuickCheck的任何方面。我已经以这种方式使用Haskell一段时间了。
最简单的失败案例很好地总结了它。成功加载并导入QuickCheck之后,请尝试以下操作:
Prelude Test.QuickCheck>示例(任意:: Gen Int)
我得到以下信息:
***异常:clock_getres:无效参数(无效参数)
这是我每次尝试使用quickCheck,属性,示例时都遇到的相同错误...导入我的QuickCheck或将其链接到.cabal文件都没有关系。这些功能也仍然都进行类型检查。
“ clock_getres”与Linux有关,因此我尝试使用System.Random,它运行良好。有人知道什么可能导致QuickCheck的大多数功能失败吗?