On Mon, Sep 09, 2019 at 04:04:01PM +0200, Jakub Jelinek wrote: > On Mon, Sep 09, 2019 at 08:56:17AM -0500, Segher Boessenkool wrote: > > Hi Martin, > > > > On Mon, Sep 09, 2019 at 03:04:20PM +0200, Martin Liška wrote: > > > I'm suggesting to rename Deprecated to IgnoreWarn > > > > That is an even worse name IMO. > > > > Just call it Removed or Deleted or something like that? Something that > > says what it _is_, not something that is an amalgamate of how we should > > handle it. > > Well, the current Deprecated is essentially Ignore Warn(switch %qs is no > longer supported) > so the name was meant to say that it is like Ignore with a warning, > the option is ignored after warning about it. > Though, the documentation needs to be clear, it isn't the option that was > removed, just the feature behind the option.
"IgnoreWarn" reads as "ignore the warning". If we want it named as two things, can we just make it two things? "Ignore WarnDeleted" or something. Which also says what it is warning about. Segher
