20 lines
354 B
Idris
20 lines
354 B
Idris
|
module Main
|
||
|
|
|
||
|
|
import System
|
||
|
|
|
||
|
|
-- @@test Main Test
|
||
|
|
main : IO ()
|
||
|
|
main = putStrLn "Test successful!"
|
||
|
|
|
||
|
|
-- @@test Failing integration with error message
|
||
|
|
ohNo : IO ()
|
||
|
|
ohNo = do
|
||
|
|
putStrLn "Something horrible has happened"
|
||
|
|
exitFailure
|
||
|
|
|
||
|
|
-- @@test Passing integration with output
|
||
|
|
ohYes : IO ()
|
||
|
|
ohYes = do
|
||
|
|
putStrLn "Something amazing has happened"
|
||
|
|
exitSuccess
|