diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-09-12T19·08+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-09-12T19·08+0000 |
commit | b357284a323b86b96828e38dcb2d86b67f172de5 (patch) | |
tree | d938e80ed7e6ed292935a9a5a8578f055b4d2455 /bootstrap.sh | |
parent | dcc433de47d4bf4a27fe63bc8996e946164ae885 (diff) |
* Fallback didn't work for subderivations of an unnormalised the main
derivation, since NormalisationGoal would first run a NormalisationGoal on the subderivation (a no-op, since in a situation where we need fallback the successor is known), and then runs a RealisationGoal on the normal form, which then cannot do a fallback because it doesn't know the derivation expression for which it is a normal form. Tossed out the 2-phase normalisation/realisation in NormalisationGoal and SubstitutionGoal since it's no longer needed - a RealisationGoal will run a NormalisationGoal if necessary.
Diffstat (limited to 'bootstrap.sh')
0 files changed, 0 insertions, 0 deletions