liquidhaskell-0.9.0.2.1: tests/neg/Grty3.hs
{-@ LIQUID "--expect-any-error" @-}
module Grty3 () where
{-@ choo :: [a] -> {v: Int | v > 0 } @-}
choo = poo
poo :: [a] -> Int
poo (x:xs) = poo xs
poo [] = 0
{-@ LIQUID "--expect-any-error" @-}
module Grty3 () where
{-@ choo :: [a] -> {v: Int | v > 0 } @-}
choo = poo
poo :: [a] -> Int
poo (x:xs) = poo xs
poo [] = 0