diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-08 11:25:14 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-08 11:25:14 +0000 |
| commit | 7e048eddf55637b9e81d704f6b9f1fdeca98a5ea (patch) | |
| tree | c2f39dec45c5e2c6b84f7cde29fbd03438038481 /externals | |
| parent | af2a372bb000d4d5aeec37e43ee0f6245c1bba54 (diff) | |
* Fix blackholing. If evaluation fails due to an assertion failure,
then the blackhole has to be removed to ensure that repeated
evaluation of the same value gives an assertion failure again rather
than an "infinite recursion" error.
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions