update tree-sitter-kotlin

[jespera]

Checklist

• Any new parsing code was already published, integrated, and merged into Semgrep. DO NOT MERGE THIS PR BEFORE THE SEMGREP INTEGRATION WORK WAS COMPLETED.
• Change has no security implications (otherwise, ping the security team)

[CLAassistant]

All committers have signed the CLA.

[yosefAlsuhaibani]

Thank you for contributing! To get semgrep to use this parser, you'll need to make a PR in semgrep/semgrep that:

1. Bumps the kotlin tree-sitter submodule (i.e this submodule https://github.com/semgrep/semgrep/tree/develop/languages/kotlin/tree-sitter)
2. Updates the tree-sitter CST -> Ast_generic translation (here: https://github.com/semgrep/semgrep/blob/develop/languages/kotlin/generic/Parse_kotlin_tree_sitter.ml)
   Feel free to request my comment in the semgrep/semgrep repo.

[jespera]

Thank you for contributing! To get semgrep to use this parser, you'll need to make a PR in semgrep/semgrep that:

1. Bumps the kotlin tree-sitter submodule (i.e this submodule https://github.com/semgrep/semgrep/tree/develop/languages/kotlin/tree-sitter)

2. Updates the tree-sitter CST -> Ast_generic translation (here: https://github.com/semgrep/semgrep/blob/develop/languages/kotlin/generic/Parse_kotlin_tree_sitter.ml)
   Feel free to request my comment in the semgrep/semgrep repo.

@yosefAlsuhaibani To make a PR in semgrep/semgrep where I update the submodule, don't I first need to have these changes merged so that there's a new commit-sha to update the submodule to?

[yosefAlsuhaibani]

@jespera You're totally right that I did forget a step: I've released/updated the semgrep-kotlin to reflect your changes (see: semgrep/semgrep-kotlin@9801f75); we usually wait merging the ocaml-tree-sitter-semgrep PR until the subsequent semgrep/semgrep work is done.

[yosefAlsuhaibani]

Merge activity

• May 3, 10:09 AM EDT: A user started a stack merge that includes this pull request via Graphite.
• May 3, 10:09 AM EDT: Graphite couldn't merge this PR because it failed for an unknown reason (Stack merges are not currently supported for forked repositories. Please create a branch in the target repository in order to merge).