diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-09-15 00:32:11 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-09-15 00:32:11 +0200 |
| commit | ccd6faf3d10da0669631fb3e3ba17a46b9e63a09 (patch) | |
| tree | b1829034cf6c6fec206ba50deac59ff4369ce974 /docs/design.md | |
| parent | 2f4e6dd8dfc7e18064e087c65ff9d28b4833cce2 (diff) | |
| download | krino-ccd6faf3d10da0669631fb3e3ba17a46b9e63a09.tar.gz krino-ccd6faf3d10da0669631fb3e3ba17a46b9e63a09.zip | |
(matched) is unknown after an undecided rule, so a catch-all leaves an unreadable file alone
Diffstat (limited to 'docs/design.md')
| -rw-r--r-- | docs/design.md | 4 |
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 |