liquidhaskell-0.8.0.2: tests/todo/AA.hs
{-@ LIQUID "--exactdc" @-}
module AA where
data Foo a b = Foo {fooA :: a, fooB :: b} | Bar
{-@ measure isFoo @-}
isFoo :: Foo a b -> Bool
isFoo (Foo _ _)= True
isFoo Bar = False {-@ LIQUID "--exactdc" @-}
module AA where
data Foo a b = Foo {fooA :: a, fooB :: b} | Bar
{-@ measure isFoo @-}
isFoo :: Foo a b -> Bool
isFoo (Foo _ _)= True
isFoo Bar = False