liquidhaskell-0.9.0.2.1: tests/pos/Poly3.hs
module Poly3 (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
module Poly3 (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