diff --git a/tests/TAP.idr b/tests/TAP.idr index 4be6880..96dfcec 100644 --- a/tests/TAP.idr +++ b/tests/TAP.idr @@ -6,6 +6,7 @@ import Data.String import Data.List.Elem import Control.Monad.Reader import Control.Monad.State +import System public export Info : Type Info = List (String, String) @@ -144,7 +145,9 @@ mutual export -run : List Test -> IO () +run : List Test -> IO ExitCode run tests = do putStrLn "TAP version 14" - ignore $ runReaderT 0 $ runList tests + pure $ if !(runReaderT 0 $ runList tests) + then ExitSuccess + else ExitFailure 70