tests/Test.hs


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