where
import qualified Data.Vector as V ( Vector, elem, empty, filter )
-import Test.Framework ( Test, testGroup )
-import Test.Framework.Providers.HUnit ( testCase )
-import Test.Framework.Providers.QuickCheck2 ( testProperty )
-import Test.HUnit ( Assertion, assertEqual )
-import Test.QuickCheck ( Property, (==>) )
+import Test.Tasty ( TestTree, testGroup )
+import Test.Tasty.HUnit ( Assertion, assertEqual, testCase )
+import Test.Tasty.QuickCheck ( Property, (==>), testProperty )
-- | The standard factorial function. See
factorial !n =
go 1 n
where
+ go :: Int -> Int -> Int
go !acc !i
| i <= 1 = acc
| otherwise = go (acc * i) (i - 1)
assertEqual "flatten actually works" expected_list actual_list
where
target = [[[1::Int]], [[2, 3]]]
- expected_list = [1, 2, 3]
+ expected_list = [1, 2, 3] :: [Int]
actual_list = flatten target
-misc_tests :: Test.Framework.Test
+misc_tests :: TestTree
misc_tests =
- testGroup "Misc Tests" [
+ testGroup "Misc tests" [
testCase "flatten (1)" test_flatten1 ]
-misc_properties :: Test.Framework.Test
+misc_properties :: TestTree
misc_properties =
- testGroup "Misc Properties" [
+ testGroup "Misc properties" [
testProperty "factorial greater" prop_factorial_greater ]