path: root/testsuite/tests/safeHaskell/check/Check06_A.hs

-- safe infered, with requirement base is trusted
module Check06_A where

mainM :: Int -> Int
mainM n = n + 1