[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#22983: syntax-ppss returns wrong result.
From: |
Alan Mackenzie |
Subject: |
bug#22983: syntax-ppss returns wrong result. |
Date: |
Sun, 10 Sep 2017 11:42:34 +0000 |
User-agent: |
Mutt/1.7.2 (2016-11-26) |
Hello, Dmitry.
On Sat, Sep 09, 2017 at 15:18:11 +0300, Dmitry Gutov wrote:
> On 9/9/17 1:20 PM, Alan Mackenzie wrote:
> > In the implementation, I have left the function `syntax-ppss' untouched
> > except for adding a function call to set up the cache right at the
> > start. I have refactored syntax-ppss-flush-cache, extracting a function
> > which is called directly from the cache-selecting code. Other than
> > that, there is one new function (which switches the current cache in
> > use) and a few new variables to keep track of the caches.
> Not sure I understand. If you call (syntax-ppss) with significantly
> different narrowings without flushing the cache (e.g. without modifying
> the buffer), sounds like it'll have to return the same results under the
> described implementation.
> If so, it doesn't sound strict enough.
On changing from one narrowing to another narrowing (more precisely, when
point-min is changed, neither value being 1), the cache is flushed, even
though the buffer has not been modified.
Anyhow, I've posted a patch elsewhere on this thread. Comments on it
would be welcome.
[ .... ]
--
Alan Mackenzie (Nuremberg, Germany).
- bug#22983: syntax-ppss returns wrong result., (continued)
- bug#22983: syntax-ppss returns wrong result., John Wiegley, 2017/09/04
- bug#22983: syntax-ppss returns wrong result., Dmitry Gutov, 2017/09/04
- bug#22983: syntax-ppss returns wrong result., Andreas Röhler, 2017/09/05
- bug#22983: syntax-ppss returns wrong result., John Wiegley, 2017/09/05
- bug#22983: syntax-ppss returns wrong result., Alan Mackenzie, 2017/09/07
- bug#22983: syntax-ppss returns wrong result., Andreas Röhler, 2017/09/08
- bug#22983: syntax-ppss returns wrong result., Alan Mackenzie, 2017/09/10
- bug#22983: syntax-ppss returns wrong result., Dmitry Gutov, 2017/09/09
- bug#22983: syntax-ppss returns wrong result., Alan Mackenzie, 2017/09/09
- bug#22983: syntax-ppss returns wrong result., Dmitry Gutov, 2017/09/09
- bug#22983: syntax-ppss returns wrong result.,
Alan Mackenzie <=
- bug#22983: [ Patch ] Re: bug#22983: syntax-ppss returns wrong result., Alan Mackenzie, 2017/09/10
- bug#22983: [ Patch ] Re: bug#22983: syntax-ppss returns wrong result., Stefan Monnier, 2017/09/10
- bug#22983: [ Patch ] Re: bug#22983: syntax-ppss returns wrong result., Dmitry Gutov, 2017/09/10
- bug#22983: [ Patch ] Re: bug#22983: syntax-ppss returns wrong result., Stefan Monnier, 2017/09/11
- bug#22983: [ Patch ] Re: bug#22983: syntax-ppss returns wrong result., Dmitry Gutov, 2017/09/11
- bug#22983: [ Patch ] Re: bug#22983: syntax-ppss returns wrong result., Richard Stallman, 2017/09/12
- bug#22983: [ Patch ] Re: bug#22983: syntax-ppss returns wrong result., Alan Mackenzie, 2017/09/11
- bug#22983: [ Patch ] Re: bug#22983: syntax-ppss returns wrong result., Stefan Monnier, 2017/09/11
- bug#22983: [ Patch ] Re: bug#22983: syntax-ppss returns wrong result., Dmitry Gutov, 2017/09/10
- bug#22983: [ Patch ] Re: bug#22983: syntax-ppss returns wrong result., Alan Mackenzie, 2017/09/11