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

-- safe inferred, with requirement base is trusted
module Check08_B where

import Prelude

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