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

From: Mattias Engdegård <[email-masked]>
Date: Wed, 18 Mar 2020 19:30:23 +0100

18 mars 2020 kl. 19.05 skrev Eli Zaretskii <[email-masked]>:

> 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?