X-Git-Url: https://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FCardinal.hs;h=d4f94e3c55e530de9008e7fbc276c9a4062f332b;hb=a499efdb0e215ac424fe7c38a52430daebefc22b;hp=300c340687fbd86daf9a21035a19207acb936f0b;hpb=5de566481cadea0f1e258657ee2697ad643b77d5;p=spline3.git diff --git a/src/Cardinal.hs b/src/Cardinal.hs index 300c340..d4f94e3 100644 --- a/src/Cardinal.hs +++ b/src/Cardinal.hs @@ -24,13 +24,13 @@ where import Control.Monad (liftM, liftM2) import Prelude hiding (LT) - -import Test.HUnit (Assertion, assertEqual) -import Test.Framework (Test, testGroup) -import Test.Framework.Providers.HUnit (testCase) -import Test.Framework.Providers.QuickCheck2 (testProperty) - -import Test.QuickCheck (Arbitrary(..), Property, (==>), oneof) +import Test.Tasty ( TestTree, testGroup ) +import Test.Tasty.HUnit ( Assertion, assertEqual, testCase ) +import Test.Tasty.QuickCheck ( + Arbitrary(..), + Property, (==>), + oneof, + testProperty ) data Cardinal = F -- ^ Front @@ -440,17 +440,17 @@ prop_four_ccwz_is_identity c = (ccwz . ccwz . ccwz . ccwz) c == c -cardinal_tests :: Test.Framework.Test +cardinal_tests :: TestTree cardinal_tests = - testGroup "Cardinal Tests" [ + testGroup "Cardinal tests" [ testCase "c-tilde_2100 rotation correct"test_c_tilde_2100_rotation_correct ] -cardinal_properties :: Test.Framework.Test +cardinal_properties :: TestTree cardinal_properties = let tp = testProperty in - testGroup "Cardinal Properties" [ + testGroup "Cardinal properties" [ tp "ccwx rotation changes direction" prop_ccwx_rotation_changes_direction, tp "cwx rotation changes direction" prop_cwx_rotation_changes_direction, tp "ccwy rotation changes direction" prop_ccwy_rotation_changes_direction,