[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#37659: Mattias Engdegård <mattiase <at> acm.org>
From: |
Mattias Engdegård |
Subject: |
bug#37659: Mattias Engdegård <mattiase <at> acm.org> |
Date: |
Sun, 13 Oct 2019 21:48:25 +0200 |
13 okt. 2019 kl. 18.52 skrev Paul Eggert <eggert@cs.ucla.edu>:
>
> Of the names you suggest, 'alt' is the the best. But here's another idea: use
> '|' for unordered or, and 'or' for ORdered OR. Strictly speaking this would
> be an incompatible change, but I doubt whether many users will notice or care.
That's an interesting notion, but am wary about the incompatibility; I'll have
to think about it. Until then, let's consider 'alt' the default name. More
(informed) opinions on the subject sought!
I take it the other changes -- 'anychar', [^z-a], and 'unmatchable' --- are
less debatable; I'll push them in a day or two if nobody objects.
Thanks for taking an interest in naming, but the way; it isn't bikeshedding and
deserves care.
- bug#37659: rx additions: anychar, unmatchable, unordered-or, Mattias Engdegård, 2019/10/08
- bug#37659: rx additions: anychar, unmatchable, unordered-or, Mattias Engdegård, 2019/10/09
- bug#37659: Mattias Engdegård <mattiase <at> acm.org>, Paul Eggert, 2019/10/11
- bug#37659: Mattias Engdegård <mattiase <at> acm.org>, Mattias Engdegård, 2019/10/12
- bug#37659: Mattias Engdegård <mattiase <at> acm.org>, Paul Eggert, 2019/10/13
- bug#37659: Mattias Engdegård <mattiase <at> acm.org>,
Mattias Engdegård <=
- bug#37659: rx additions: anychar, unmatchable, unordered-or, Mattias Engdegård, 2019/10/22
- bug#37659: rx additions: anychar, unmatchable, unordered-or, Robert Pluim, 2019/10/22
- bug#37659: rx additions: anychar, unmatchable, unordered-or, Paul Eggert, 2019/10/22
- bug#37659: rx additions: anychar, unmatchable, unordered-or, Mattias Engdegård, 2019/10/23
- bug#37659: rx additions: anychar, unmatchable, unordered-or, Paul Eggert, 2019/10/23
- bug#37659: rx additions: anychar, unmatchable, unordered-or, Drew Adams, 2019/10/23
- bug#37659: rx additions: anychar, unmatchable, unordered-or, Mattias Engdegård, 2019/10/24
- bug#37659: rx additions: anychar, unmatchable, unordered-or, Drew Adams, 2019/10/24
- bug#37659: rx additions: anychar, unmatchable, unordered-or, Phil Sainty, 2019/10/24
- bug#37659: rx additions: anychar, unmatchable, unordered-or, Drew Adams, 2019/10/24