liquidhaskell-0.9.0.2.1: tests/neg/Null.hs

{-@ LIQUID "--expect-any-error" @-}
module Null where

foo :: [Int] -> Int
foo xs = if null xs then head xs else 0