liquidhaskell-0.8.2.2: tests/errors/EmptyData.hs
-- | see: https://github.com/ucsd-progsys/liquidhaskell/issues/1169
module Bar where
{-@ data A @-}
data A = B
-- | see: https://github.com/ucsd-progsys/liquidhaskell/issues/1169
module Bar where
{-@ data A @-}
data A = B