Do not apply eta expansion to application arguments.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Tue, 23 Jun 2009 12:24:26 +0000 (14:24 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Tue, 23 Jun 2009 12:24:26 +0000 (14:24 +0200)
commit757befa0b3e9765ad3eca2990df8a790e187326c
tree253088a0dc2e196865b9e52007d11904d9cfdaec
parent3f4773d25a4c44a0e4c9503806562a6741da3508
Do not apply eta expansion to application arguments.

Doing this can introduce expressions such as:
  map (\x -> foo x) xs
which is of course not really what we want. By limiting eta expansion in
this way, we'll still get it where we really want it: At the top level.
Normalize.hs
NormalizeTools.hs