-
Simon Peyton Jones authored
Eta reduction was wrongly transforming f = \x. f x to f = f Solution: don't trust f's arity information; instead look at its unfolding. See Note [Eta reduction conditions] Almost all the new lines are comments!
87e82c15
Eta reduction was wrongly transforming f = \x. f x to f = f Solution: don't trust f's arity information; instead look at its unfolding. See Note [Eta reduction conditions] Almost all the new lines are comments!