1

この基本的なテスト フレームワークの例を QuickCheck2 で動作させるのに少し苦労しています。サンプルで QuickCheck 1 を使用しているため、上記のページに記載されている次のエラーが発生します。QuickCheck2 の使用が一般的に好まれると思いますが、test-framework でどのように使用すればよいですか?

エラー：

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-quickcheck パッケージの Test.Framework.Providers.QuickCheck ではなく、test-framework-quickcheck2 パッケージから Test.Framework.Providers.QuickCheck2 をインポートします。

于 2013-05-14T11:31:15.043 に答える