[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: forward-comment and syntax-ppss

From: Clément Pit--Claudel
Subject: Re: forward-comment and syntax-ppss
Date: Fri, 16 Dec 2016 21:39:16 -0500
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.5.1

On 2016-12-16 18:16, Drew Adams wrote:
>>> "Narrowing breaks proof-general".  Really?  Narrowing did that?
>> I mean that narrowing a buffer causes Proof General to misbehave.  That's
>> obviously a Proof General bug; I only intended it as an example of a
>> facility for which narrowing made things harder.
> OK.  But that's like saying that variables break program `xyz'
> because variables make things harder.  Yes, things that change
> state make things harder, and that includes narrowing.  If this
> were Haskell then things wouldn't be so hard...

Yup.  I think a significant part of the issue is just that some devs forget 
that using point-min may require widening.  I didn't know about for a while, 
even after I started programming in ELisp.

Attachment: signature.asc
Description: OpenPGP digital signature

reply via email to

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