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

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

import Prelude

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