Use is_local_var for limiting appsimpl and letsimpl.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 13 Jul 2009 09:55:48 +0000 (11:55 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 13 Jul 2009 09:55:48 +0000 (11:55 +0200)
commit969bf6e8931f58606a1d8bfe288539ded8369553
treec2c40b7a526b3028250c282f622b3c35d2d4d3a4
parent57b95a135792cc76493402f716e33cbf9853b5c4
Use is_local_var for limiting appsimpl and letsimpl.

Previously, appsimple and letsimpl would refrain from simplifying any Var
expression, since they are already simple. Now, they only refrain from
simplifying local variables, so references to top-level bindings will
still be simplified. This enables proper normalization of top level
bindings without arguments.
Normalize.hs