[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Tree-sitter navigation time grows as sqrt(line-number)
From: |
Stefan Kangas |
Subject: |
Re: Tree-sitter navigation time grows as sqrt(line-number) |
Date: |
Thu, 31 Aug 2023 22:24:03 +0200 |
Eli Zaretskii <eliz@gnu.org> writes:
> Stefan, WDYT about this? I admit I'm a bit weary, but everyone else
> seems to think this is a bugfix.
I'm not sure I can be of much help here; I really haven't been
following treesitter development very closely. Having looked at the
patch, the fix is also slightly less trivial than I had hoped, in the
sense that I don't understand it. :-)
That said, I do think that stability expectations might be a bit
different for a completely new and (arguably) semi-optional feature.
Yuan Fu's stated opinion up-thread was that the patch is "relatively
safe".
If it was up to me, I'd probably keep it on emacs-29, with a readiness
to revert if any issues were to crop up. But I won't object either
way.
- Re: Tree-sitter navigation time grows as sqrt(line-number), (continued)
- Re: Tree-sitter navigation time grows as sqrt(line-number), Yuan Fu, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number), Eli Zaretskii, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number), Dmitry Gutov, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number), Po Lu, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number), Dmitry Gutov, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number), Eli Zaretskii, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number), JD Smith, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number), Dmitry Gutov, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number), Yuan Fu, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number), Eli Zaretskii, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number),
Stefan Kangas <=
- Re: Tree-sitter navigation time grows as sqrt(line-number), Eli Zaretskii, 2023/08/20
Re: Tree-sitter navigation time grows as sqrt(line-number), Yuan Fu, 2023/08/17
Re: Tree-sitter navigation time grows as sqrt(line-number), Dmitry Gutov, 2023/08/17