[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#40119: [PATCH] Make compilation-mode regexp matching case-sensitive
From: |
Mattias Engdegård |
Subject: |
bug#40119: [PATCH] Make compilation-mode regexp matching case-sensitive |
Date: |
Wed, 18 Mar 2020 19:30:23 +0100 |
18 mars 2020 kl. 19.05 skrev Eli Zaretskii <eliz@gnu.org>:
> What if we are wrong and some compiler needs case-insensitive
> matching? Your change makes it impossible to get back the old
> behavior, not even optionally.
Do you mean that we should add a defcustom to permit the user to control the
behaviour, or that doing so is impossible once rules are added which rely on
the case-sensitivity?
Either way, it seems much more likely that it is case-insensitivity that is an
obstacle to adding new rules, not the contrary. Could you give an example of
what such a hypothetical compiler needing case-insensitive matching would look
like?