liquidhaskell-0.4.0.0: tests/pos/meas2.hs

module Meas (n) where

import Language.Haskell.Liquid.Prelude

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


zs :: [Int]
zs = [1..100]

n  = mylen zs