[Top][All Lists]

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

RE: forward-comment and syntax-ppss

From: Drew Adams
Subject: RE: forward-comment and syntax-ppss
Date: Fri, 16 Dec 2016 15:16:38 -0800 (PST)

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

reply via email to

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