liquidhaskell-0.9.0.2.1: tests/neg/Meas7.hs

{-@ LIQUID "--expect-any-error" @-}

module Meas7 () where

-- some tests for the 'expandDefaultCase' trick to case-split 
-- on the "missing" constructors.

mylen          :: [a] -> Int
mylen []       = 0
mylen (_:xs)   = 1 + mylen xs


{-@ foo :: [a] -> {v: Int | v = 0} @-}
foo :: [a] -> Int
foo zs = case zs of
           [] -> 0
           _  -> mylen zs