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.
Jakub
