liquidhaskell-0.9.0.2.1: tests/pos/ReflectBooleanFunctions.hs

{-@ LIQUID "--exactdc"      @-}
{-@ LIQUID "--higherorder"  @-}
module ReflectBooleanFunctions where


{-@ reflect foo @-}
foo :: (Int -> Bool) -> (Int -> Bool) -> Bool 
foo f g = (f 1) && (g 1)