liquidhaskell-0.9.0.2.1: tests/pos/Meas2.hs

module Meas2 (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