aboutsummaryrefslogtreecommitdiff
path: root/docs/design.md
diff options
context:
space:
mode:
Diffstat (limited to 'docs/design.md')
-rw-r--r--docs/design.md4
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/design.md b/docs/design.md
index 43a6975..744ef05 100644
--- a/docs/design.md
+++ b/docs/design.md
@@ -268,7 +268,9 @@ UTF-8 is replaced by U+FFFD before folding.
false, `or` true if any is true, `not` of unknown is unknown, so an
unknown only reaches the top where the text could change the answer. A
rule matches only when its condition is true; an unknown exclude holds
- (§4.6). `explain` shows an unknown test as `?`. A format with no text (§6,
+ (§4.6). While no earlier rule has matched a file but one could not be
+ decided, `(matched)` is unknown too, so a catch-all
+ `(not (matched))` does not take the file. `explain` shows an unknown test as `?`. A format with no text (§6,
"anything else") is not a failure: `content` is false, silently.
### 5.5 Duplicates