branch: externals/relint
commit 6fc885b585d9d39819903cd7b191231c310dc2a1
Author: Mattias Engdegård <matti...@acm.org>
Commit: Mattias Engdegård <matti...@acm.org>
Describe branch subsumption message
---
README.org | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/README.org b/README.org
index e7dec3e..6735e1c 100644
--- a/README.org
+++ b/README.org
@@ -87,6 +87,11 @@ skip set.
The same expression occurs in two different branches, like in ~A\|A~.
This has the effect of only including it once.
+- Branch matches superset/subset of a previous branch ::
+A branch in an or-expression matches a superset or subset of what
+another branch matches, like in ~[ab]\|a~. This means that one of the
+branches can be eliminated without changing the meaning of the regexp.
+
- Uncounted repetition ::
The construct ~A\{,\}~ repeats A zero or more times which was probably
not intended.
