Normalize all used global binders.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 13 Jul 2009 07:43:31 +0000 (09:43 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 13 Jul 2009 07:43:31 +0000 (09:43 +0200)
commit7762251a1355fbcbb08317926ca232951c146744
tree9a000c5a5b64f5b23a2f0bb69efe61e41d1a6119
parent758998d6ef18ab5124c65518781c358d76d229ab
Normalize all used global binders.

Previously, only function-typed binders were normalized (not necessarily
limited to global ones!).
Adders.hs
Normalize.hs