[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Resources for an old newbie ?
From: |
Michael Heerdegen |
Subject: |
Re: Resources for an old newbie ? |
Date: |
Sun, 11 Jun 2023 05:14:53 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Emanuel Berg <incal@dataswamp.org> writes:
> Michael Heerdegen wrote:
>
> >> I think it was something about docstring width.
> >>
> >> But I've spent too much time on this.
> >
> > Don't want to suggest which Emacs version to use - but for
> > your private stuff, you can just ignore those warnings about
> > docstrings (or just turn them off, locally). You have no
> > disadvantages to fear when using that code with the new
> > Emacs version. The compiler warnings just have been
> > improved, there are more checks.
>
> No kidding, but there should be a clear line what warnings are
> considered unimportant and maybe people don't care to get rid
> of them.
None of them is unimportant!
I just think all the problems are not new in the OPs init file, they
just had not being discovered until now (and there were the obsoletion
warnings). So using the old Emacs version is as good as using a master
build and ignore the warnings (for now) - that's what I wanted to say.
> Warnings should only be when there is a WARNING not trying to
> enforce some convention or habit for no real practical reason,
> also bugs are often introduced when fixing bugs, so one
> shouldn't "overfix" them.
>From participating in emacs-dev I can tell that this is not happening.
Michael.
- Re: Resources for an old newbie ?, (continued)
- Re: Resources for an old newbie ?, David Masterson, 2023/06/04
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/06/10
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/06/10
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/06/04
- Re: Resources for an old newbie ?, David Masterson, 2023/06/04
- Re: Resources for an old newbie ?, Michael Heerdegen, 2023/06/04
- Re: Resources for an old newbie ?, David Masterson, 2023/06/04
- Re: Resources for an old newbie ?, Michael Heerdegen, 2023/06/04
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/06/10
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/06/10
- Re: Resources for an old newbie ?,
Michael Heerdegen <=
- Re: Resources for an old newbie ?, David Masterson, 2023/06/11
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/06/11
- Re: Resources for an old newbie ?, Michael Heerdegen, 2023/06/11
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/06/15
- Re: Resources for an old newbie ?, Michael Heerdegen, 2023/06/15
- Re: Resources for an old newbie ?, Michael Heerdegen, 2023/06/15
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/06/11
- Re: Resources for an old newbie ?, Michael Heerdegen, 2023/06/11
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/06/15
- Re: Resources for an old newbie ?, Emanuel Berg, 2023/06/10