heni-0.1.0.0: examples/standalone/target/Checker.hs
module Main (main) where
import System.Exit (exitFailure)
main :: IO ()
main = do
input <- readFile "input"
case input of
"mutant\n" -> putStrLn "capacity rule violated" >> exitFailure
"unrelated\n" -> putStrLn "unrelated checker failure" >> exitFailure
_ -> pure ()