packages feed

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 ()