liquidhaskell-0.7.0.0: tests/pos/ReflectClient1.hs

{-@ LIQUID "--totality" @-}

module ReflectClient0 where

import ReflectLib1

{-@ myHead :: {v:[a] | not (isNull v) } -> a @-}
myHead :: [a] -> a
myHead (x:_) = x