[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: save-excursion again
From: |
David Kastrup |
Subject: |
Re: save-excursion again |
Date: |
Fri, 18 Jun 2010 16:02:41 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) |
Stefan Monnier <address@hidden> writes:
>> So, every time we want to please the byte compiler, we need to prove
>> a little theorem to the effect that the code X doesn't enter the
>> buffer A? (No doubt some of these theorems will be obvious.)
>
> Indeed. The problem being that the precise semantics of such a
> construction is pretty subtle, so the byte-compiler can't do the proof
> for you. In some cases the proof is easy (e.g. there's no movement at
> all in that piece of code), but often it's very difficult (tho my
> experience might be made worse since I usually make such changes to
> code with which I'm not familiar). My approach is to basically
> replace all such code with just `with-current-buffer', then let users
> find the counter examples.
I don't see how this process is supposed to terminate if users find
counterexamples. Presumably the original code is then reinstated, and
the whole procedure starts from the beginning. It would not appear that
there is a way to _intentionally_ use that construct without you
eventually replacing it.
--
David Kastrup
- save-excursion again, Uday S Reddy, 2010/06/18
- Re: save-excursion again, Stefan Monnier, 2010/06/18
- Re: save-excursion again,
David Kastrup <=
- Re: save-excursion again, Uday S Reddy, 2010/06/18
- Re: save-excursion again, Stefan Monnier, 2010/06/18
- Re: save-excursion again, Stephen J. Turnbull, 2010/06/19
- Re: save-excursion again, Lennart Borgman, 2010/06/19
- Re: save-excursion again, Lennart Borgman, 2010/06/19
- Re: save-excursion again, Stephen J. Turnbull, 2010/06/19
- Re: save-excursion again, Lennart Borgman, 2010/06/19
- Re: save-excursion again, Stefan Monnier, 2010/06/25
- Re: save-excursion again, Stephen J. Turnbull, 2010/06/25