liquidhaskell-0.4.0.0: tests/pos/poly3a.hs
module Meas (goo) where expand f [] = [] expand f (x:xs) = (f x) ++ (expand f xs) baz :: a -> [Int] baz _ = [0] goo = expand baz
module Meas (goo) where expand f [] = [] expand f (x:xs) = (f x) ++ (expand f xs) baz :: a -> [Int] baz _ = [0] goo = expand baz