{-
How to use: runghc testFilterFoldr.hs
-}

import TestLib
import qualified FilterFoldr as F (myFilter)

-- Re-assert desired type.
myFilter :: (a -> Bool) -> [a] -> [a]
myFilter = F.myFilter

tests =
    [ "myFilter (\\_ -> True) []" ~: myFilter (\_ -> True) [] ~?= ([] :: [Int])
    , "myFilter handout" ~: myFilter (\x -> x > 0) [1, -2, 3] ~?= [1, 3]
    -- more tests when marking
    ]

main = testlibMain tests