liquidhaskell-0.8.10.7: tests/measure/pos/GList000.hs
-- TAG: absref
module GList000 where
{-@ safeHead :: {v:[a] | false } -> a @-}
safeHead :: [a] -> a
safeHead (x:_) = x -- TAG: absref
module GList000 where
{-@ safeHead :: {v:[a] | false } -> a @-}
safeHead :: [a] -> a
safeHead (x:_) = x