liquidhaskell-0.8.6.0: tests/neg/T1198.3.hs
module Term where
{-@ data Tree [sz] @-}
data Tree a = Bin | Node (Tree a) (Tree a)
{-@ measure sz @-}
sz :: Tree a -> Int
sz Bin = 0
sz (Node t1 t2) = 1 + sz (Node t1 t2) + sz t2module Term where
{-@ data Tree [sz] @-}
data Tree a = Bin | Node (Tree a) (Tree a)
{-@ measure sz @-}
sz :: Tree a -> Int
sz Bin = 0
sz (Node t1 t2) = 1 + sz (Node t1 t2) + sz t2