liquidhaskell-0.9.0.2.1: tests/pos/Null.hs

module Null where

foo :: [a] -> [a]
foo xs = if null xs then [] else tail xs