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