heni-0.1.0.0: examples/migrations/patch-catalogue/test/Main.hs

module Main (main) where

import Capacity
import Control.Monad (unless)
import System.Exit (exitFailure)

main :: IO ()
main = do
  unless (not (admits 1 1)) $ do
    putStrLn "rejects full capacity: FAIL"
    exitFailure
  unless (admits 0 1) $ do
    putStrLn "admits spare capacity: FAIL"
    exitFailure
  putStrLn ("capacity assertions: PASS (" ++ marker ++ ")")