请提供一个使用QuickCheck2的简单测试框架示例

Question

为了让这个基本的测试框架示例与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]

Answer 1

导入Test.Framework.Providers。

Answer 2

安装最新的测试框架-quickcheck2-0.3.0.2将解决这个问题。例如:如果你安装了Haskell平台，只需使用以下命令:

cabal update
cabal install test-framework-quickcheck2-0.3.0.2