Never try to normalize global binders.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 22 Jun 2009 08:17:29 +0000 (10:17 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 22 Jun 2009 08:17:29 +0000 (10:17 +0200)
commitb62b2e3aa902db1f774c2f655b25e8428e2b1cf0
tree38d9cdefc0212f4a95a58b7d4409e8eb32f5eb0a
parent3a611c1075c67670ed6c86a5e74b59b0b379721c
Never try to normalize global binders.

These should mostly (always?) be functions imported from elsewhere (for
which we won't have a value) or dataconstructors.
Normalize.hs