Re: forward-comment and syntax-ppss

[Eli Zaretskii]

> From: Clément Pit--Claudel <address@hidden>
> Date: Thu, 8 Dec 2016 14:54:34 -0500
> Cc: address@hidden
> 
> The problem is simple.  Proof General locks portions of the source code that 
> have been sent to an underlying interpreter/compiler.  This locking is 
> achieved by placing read-only overlays spanning from (point-min) to the 
> current point, every time a new region is sent.
> 
> There are many such places; unfortunately, the use of (point-min) means that 
> the overlays do not have the right starting point: they start from the 
> beginning of the narrowed region.
> 
> It's hard to fix this issue, because uses of point-min don't carry sufficient 
> semantic information: did the original author mean (point-min), or 1? There's 
> no general way to tell but to read the surrounding code.

If the package doesn't use narrowing, it generally means 1, IMO.
That's a simple enough test that doesn't require reading the whole
code.

But I agree that this issue is not simple in general.