liquidhaskell-0.8.10.1: tests/neg/HigherOrder.hs
{-@ LIQUID "--higherorder" @-}
module HigherOrder where
{-@ foo :: a: Int -> f: (Int -> Int) -> {v : Int | v = 123 + (f a) } @-}
foo :: Int -> (Int -> Int) -> Int
foo a f = f a
{-@ LIQUID "--higherorder" @-}
module HigherOrder where
{-@ foo :: a: Int -> f: (Int -> Int) -> {v : Int | v = 123 + (f a) } @-}
foo :: Int -> (Int -> Int) -> Int
foo a f = f a