summaryrefslogtreecommitdiffstats
path: root/txr.1
diff options
context:
space:
mode:
authorKaz Kylheku <kaz@kylheku.com>2012-03-30 18:04:40 -0700
committerKaz Kylheku <kaz@kylheku.com>2012-03-30 18:04:40 -0700
commitb44fb80d62fa16c8ac844fa79bfc206fa9e34129 (patch)
tree81803875f861ccef94c807155d92302eae451fdd /txr.1
parentcdc4a396d2a0d59798c87d4d8afcabb122e8047a (diff)
downloadtxr-b44fb80d62fa16c8ac844fa79bfc206fa9e34129.tar.gz
txr-b44fb80d62fa16c8ac844fa79bfc206fa9e34129.tar.bz2
txr-b44fb80d62fa16c8ac844fa79bfc206fa9e34129.zip
* txr.1: Correction: backtracking does NOT take place into a block
which completed.
Diffstat (limited to 'txr.1')
-rw-r--r--txr.16
1 files changed, 3 insertions, 3 deletions
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: