bug#40119: [PATCH] Make compilation-mode regexp matching case-sensitive

[Mattias Engdegård]

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?