Well the GLR(k) algorithm might find a nondeterminstic route route in the grammar that a LR(k) do not find, if I want to know if a code is syntatically correct I would test it against the same type of parser the language uses, that is a deterministic parser

> 
An intuitive structure - Tree-sitter’s output is a concrete syntax tree; each node in the tree corresponds directly to a terminal or non-terminal symbol in the grammar. So in order to produce an easy-to-analyze tree, there should be a direct correspondence between the symbols in your grammar and the recognizable constructs in the language. This might seem obvious, but it is very different from the way that context-free grammars are often written in contexts like language specifications or Yacc/Bison parsers.

> https://tree-sitter.github.io/tree-sitter/creating-parsers#the-grammar-dsl

This is a big issue because each version of a language grammar would need to be converted into tred-sitter form



But anyways I don't see the issue with pluralism in the parser generator space, why would one exclude the other?



Regards

Christian


> 28 nov. 2021 kl. 14:24 skrev Stefan Monnier <monnier@iro.umontreal.ca>:
> 
> Christian Johansson [2021-11-28 08:22:48] wrote:
>> I believe tree-sitter is not suitable for proper parsing (it does not
>> support LR(1) for example)
> 
> Really?  AFAIK it uses a GLR parser and hence handles LR(1) and more.
> 
> 
>        Stefan
>