From b44fb80d62fa16c8ac844fa79bfc206fa9e34129 Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Fri, 30 Mar 2012 18:04:40 -0700 Subject: * txr.1: Correction: backtracking does NOT take place into a block which completed. --- ChangeLog | 5 +++++ txr.1 | 6 +++--- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index 0c8bafd0..56a83cbb 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2012-03-30 Kaz Kylheku + + * txr.1: Correction: backtracking does NOT take place into a block + which completed. + 2012-03-30 Kaz Kylheku * txr.1: Documenting the debugger with an example session. diff --git a/txr.1 b/txr.1 index 327dfe52..b021cdd7 100644 --- a/txr.1 +++ b/txr.1 @@ -1619,9 +1619,9 @@ blocks. For example: Now the scope of each skip is just the remainder of the block in which it occurs. The first skip finds A, and then the block ends. Control passes to the -next block, and backtracking will take place to a block which completed (unless -all these blocks are enclosed in some larger construct which backtracks, -causing the blocks to be re-executed. +next block, and backtracking will not take place to a block which completed +(unless all these blocks are enclosed in some larger construct which +backtracks, causing the blocks to be re-executed. Of course, this rewrite is not equivalent, and cannot be used for instance in backreferencing situations such as: -- cgit v1.2.3