From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Mon, 22 Jun 2009 08:17:29 +0000 (+0200)
Subject: Never try to normalize global binders.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=b62b2e3aa902db1f774c2f655b25e8428e2b1cf0;hp=b62b2e3aa902db1f774c2f655b25e8428e2b1cf0;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

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.
---