tools.test: better restart checking.

locals-and-roots
John Benediktsson 2016-03-30 21:55:07 -07:00
parent f5cea754b5
commit 92496b5393
1 changed files with 5 additions and 1 deletions

View File

@ -126,7 +126,11 @@ PRIVATE>
dup current-test-file [ dup current-test-file [
test-failures get current-test-file get +test-failure+ delete-file-errors test-failures get current-test-file get +test-failure+ delete-file-errors
'[ _ run-file ] [ '[ _ run-file ] [
dup condition? [ rethrow ] [ file-failure ] if dup compute-restarts empty? [
file-failure
] [
rethrow
] if
] recover ] recover
] with-variable ; ] with-variable ;