From 709c98308e7a4e3a152340ebb493509de08b7257 Mon Sep 17 00:00:00 2001
From: Kaz Kylheku <kaz@kylheku.com>
Date: Tue, 9 Feb 2021 20:09:01 -0800
Subject: doc: with pattern operator clarification.

* txr.1: Clarify that expr is not evaluated if the
main-pattern fails to match.
---
 txr.1 | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/txr.1 b/txr.1
index cacc53d0..d1dfb7dc 100644
--- a/txr.1
+++ b/txr.1
@@ -40363,9 +40363,13 @@ is present in the syntax,
 it is matched its corresponding object. This match must
 succeed, or else the
 .code with
-operator fails to match.
+operator fails to match, in which case
+.meta expr
+is not evaluated.
 
-Next,
+Next, if
+.meta main-pattern
+successfully matched, or is absent,
 .meta expr
 is evaluated in the scope of earlier pattern variables, including any
 which that emanate from
-- 
cgit v1.2.3