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)
These should mostly (always?) be functions imported from elsewhere (for
which we won't have a value) or dataconstructors.


No differences found