liquidhaskell-0.9.0.2.1: tests/pos/Bool0.hs

module Bool0 where

{-@ myhead :: {v:[a] | nonEmpty v} -> a @-}
myhead (x:_) = x

{-@ measure nonEmpty @-}   
nonEmpty :: [a] -> Bool
nonEmpty (x:xs) = True 
nonEmpty []     = False