diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-06-24 14:35:01 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-06-24 14:35:01 +0000 |
| commit | a29c8ac51ca813a34eebb497340807e4b274170c (patch) | |
| tree | 1d397489f67adc5d74471a592443066f473295e6 /src | |
| parent | ec326276217ad5b7761327da567f79bb5cc17f32 (diff) | |
* Add a test to check that when we cannot realise a closure
expression, we should invalidate it and go back to the derivation
for which it is a successor.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions