liquidhaskell-0.9.0.2.1: tests/pos/Hole_fun.hs

module Hole_fun (test) where

inc :: Int -> Int 
inc x = x + 1

{-@ app :: _ -> Nat -> Nat @-} 
app :: (Int -> Int) -> Int -> Int
app f x = f x

test = app inc 7