From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Wed, 4 Nov 2009 11:47:34 +0000 (+0100)
Subject: Make the normal form use only recursive lets again.
X-Git-Tag: final-thesis~175
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;ds=inline;h=4703461b0093f5c9a83876fad9d21a34c7a28eb4;hp=4703461b0093f5c9a83876fad9d21a34c7a28eb4;p=matthijs%2Fmaster-project%2Freport.git

Make the normal form use only recursive lets again.

Previously, both recursive and non-recursive lets were allowed, which made
a lot of transformations a lot more complex. Now, all lets are made
recursive again, which makes things simpler.

Also do some other miscellaneous fixes in the Normalization chapter.
---