liquidhaskell-0.8.0.2: tests/import/lib/T1102_LibZ.hs

{-@ LIQUID "--exact-data-con" @-}

module T1102_LibZ where

{-@ data Foo a b = Foo { fooA :: a, fooB :: b} @-}
data Foo a b = Foo {fooA :: a, fooB :: b}