blob: b1958c35dfc0dc65a60e74ace1c5d56a0fad5e70 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
module Main where
import Test.Tasty
import Test.Tasty.HUnit
import Test.Tasty.QuickCheck as QC
unitTests = testGroup "Unit tests"
[ testCase "List comparison (different length)" $
[1, 2, 3] `compare` [1,2] @?= GT
-- the following test does not hold
, testCase "List comparison (same length)" $
[1, 2, 3] `compare` [1,2,2] @?= LT
]
tests :: TestTree
tests = testGroup "Tests" [unitTests]
main = defaultMain tests
|