From 40256575a22af22d38f81d36cb4a9d455460f0bb Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Fri, 15 Apr 2016 20:41:59 -0700 Subject: Notes on glob and exceptions. * txr.1: Document that glob's error-func callback can be terminated by a non-local exit, but may not capture continuations across glob. --- txr.1 | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/txr.1 b/txr.1 index 4e01b8f6..ba267bca 100644 --- a/txr.1 +++ b/txr.1 @@ -37805,6 +37805,25 @@ boolean. If the function returns true, then .code glob will terminate. +The +.meta error-func +may terminate the traversal by a nonlocal exit, such as by throwing +an exception or performing a block return. + +The +.meta error-func +may not re-enter the +.code glob +function. This situation is detected and diagnosed by an exception. + +The +.meta error-func +may not capture a continuation across the error boundary. That is to say, +code invoked from the error may not capture a continuation up to a prompt +which surrounds the +.code glob +call. Such an attempt is detected and diagnosed by an exception. + Details of the semantics of the .code glob function, and the meaning of all the -- cgit v1.2.3