liquidhaskell-0.9.0.2.1: tests/errors/BadData0.hs

{-@ LIQUID "--expect-error-containing=Unknown type constructor `Zoog`" @-}
module BadData0 where

data Zog = Z Int
{-@ data Zoog = Z { mkZ :: Nat } @-}

frog = Z (0 - 5)