GNU bug report logs - #40119
[PATCH] Make compilation-mode regexp matching case-sensitive

Previous Next

Full log

Message #11 received at 40119 <at> debbugs.gnu.org (full text, mbox):

From: Mattias Engdegård <mattiase <at> acm.org>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 40119 <at> debbugs.gnu.org
Subject: Re: 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 <at> 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?

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.