1

我正在努力让这个基本的测试框架示例与 QuickCheck2 一起使用。由于示例使用 QuickCheck 1,我收到上面页面中提到的以下错误。我假设通常首选使用 QuickCheck2,但是如何将它与测试框架一起使用?

错误:

No instance for (QuickCheck-1.2.0.0:Test.QuickCheck.Testable
    (Gen Prop))

提前致谢。


如果我导入 Test.Framework.Providers.QuickCheck2,我会收到以下错误:

del-me.hs:41:17:
    No instance for (QuickCheck-2.5.1.1:Test.QuickCheck.Property.Testable
                       (Gen Prop))
      arising from a use of `testProperty'
    Possible fix:
      add an instance declaration for
      (QuickCheck-2.5.1.1:Test.QuickCheck.Property.Testable (Gen Prop))
    In the expression: testProperty "sort2" prop_sort2
    In the second argument of `testGroup', namely
      `[testProperty "sort1" prop_sort1, testProperty "sort2" prop_sort2,
        testProperty "sort3" prop_sort3]'
    In the expression:
      testGroup
        "Sorting Group 1"
        [testProperty "sort1" prop_sort1, testProperty "sort2" prop_sort2,
         testProperty "sort3" prop_sort3]
4

2 回答 2

2

从 test-framework-quickcheck2 包中导入 Test.Framework.Providers.QuickCheck2,而不是从 test-framework-quickcheck 包中导入 Test.Framework.Providers.QuickCheck。

于 2013-05-14T11:31:15.043 回答
1

安装最新的 test-framework-quickcheck2-0.3.0.2 将解决这个问题。例如:如果您安装了 Haskell 平台,只需使用以下命令:

cabal update

cabal install test-framework-quickcheck2-0.3.0.2
于 2013-10-12T14:12:07.647 回答