packages feed

liquidhaskell-0.4.0.0: tests/pos/poly3.hs

module Meas (goo) where

expand          :: (a -> [b]) -> [a] -> [b]
expand f []     = []
expand f (x:xs) = (f x) ++ (expand f xs)

baz :: a -> [Int]
baz _ = [0]

goo = expand baz