liquidhaskell-0.8.10.7: tests/parser/pos/T884.hs

module T884 where

{-@ isEmpty :: x:[Int] -> {v:Bool | v <=> len x == 0} @-}
isEmpty :: [Int] -> Bool
isEmpty []    = True
isEmpty (_:_) = False