[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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]