Should expression be a subtype of expression_statement instead of a child? about tree-sitter-python

[somebody1234]

:/ you linked the same thing twice

edit: also note that node-types.json is generated (from grammar.js)

edit 2: i'm guessing what you probably mean then is, should expression_statement be a supertype, which can certainly be done (one of the choices isn't a node type so that will need to be refactored but otherwise it looks fine) so we'll just have to wait for max's reply i guess.

[andycraig]

Hi @somebody1234, thank you for your reply. I think I may have misunderstood how subtypes and children work. I thought that subtypes generally corresponded to choice, but reading the docs again I see that they correspond to supertypes.

It sounds like adding expression_statement as a supertype would resolve this particular case but I'd probably need the same thing to be done for lots of different node types (across multiple languages too, as I'm aiming for this to be language-independent). So I think what I actually need to do is modify my algorithm to identify child nodes corresponding to choice.

[maxbrunsfeld]

Conceptually, I don't think that an expression is a subtype of an expression_statement. In my mind, statements and expressions are two distinct categories of nodes. An expression_statement is a simple type of statement, which contains an expression (or an assignment, which can't occur as a normal expression).

[andycraig]

Hi @maxbrunsfeld, it sounds like my concept of subtypes and supertypes in the context of Tree-sitter was not correct. Thank you for clarifying. I will close this issue.