liquidhaskell-0.8.0.2: tests/pos/ReflectBooleanFunctions.hs
{-@ LIQUID "--exactdc" @-}
{-@ LIQUID "--higherorder" @-}
module Data.Foo where
{-@ reflect foo @-}
foo :: (Int -> Bool) -> (Int -> Bool) -> Bool
foo f g = (f 1) && (g 1){-@ LIQUID "--exactdc" @-}
{-@ LIQUID "--higherorder" @-}
module Data.Foo where
{-@ reflect foo @-}
foo :: (Int -> Bool) -> (Int -> Bool) -> Bool
foo f g = (f 1) && (g 1)