liquidhaskell-0.8.10.7: tests/terminate/neg/total02.hs
-- test recConError
module Total2 where
data Foo = Foo {a :: Int, b :: Int}
foo :: Foo
foo = Foo {a = 1}
-- test recConError
module Total2 where
data Foo = Foo {a :: Int, b :: Int}
foo :: Foo
foo = Foo {a = 1}