diff --git a/man/man1/mred.1 b/man/man1/mred.1 index 300098da..43b71172 100644 --- a/man/man1/mred.1 +++ b/man/man1/mred.1 @@ -304,7 +304,8 @@ implied by .BR --main , embedded segments loaded by .BR -k , -and so on. +and so on. An uncaught exception during an evaluation/load causes later +evaluations/loads to be skipped. .PP The current-library-collections-paths parameter is automatically set before any expressions/files are evaluated/loaded, unless the diff --git a/man/man1/mzscheme.1 b/man/man1/mzscheme.1 index 05b17c61..46c17811 100644 --- a/man/man1/mzscheme.1 +++ b/man/man1/mzscheme.1 @@ -249,7 +249,8 @@ implied by .BR --main , embedded segments loaded by .BR -k , -and so on. +and so on. An uncaught exception during an evaluation/load causes later +evaluations/loads to be skipped. .PP The current-library-collections-paths parameter is automatically set before any expressions/files are evaluated/loaded, unless the