liquidhaskell-0.7.0.0: tests/tmp/T777.hs

module Goo where 

{-@ instance measure glub @-}
glub :: [Int] -> Bool
glub []     = True
glub (x:xs) = ((x > 0) && (glub xs))