3 ms·
I believe they use semantic (Haskell program that uses tree-sitter) for navigation: https://github.com/github/semantic https://github.com/github/semantic So th
by cstrahan 3y ago
I believe they use semantic (Haskell program that uses tree-sitter) for navigation: https://github.com/github/semantic https://github.com/github/semantic
So the answer may be that semantic does not yet have support for the language in question.
- ghuntley 3y agocorrect. adding support for new language is a matter of opening up a pull-request with the appropriate gluecode. https://github.com/github/semantic/blob/793a876ae45d38a6bd1744e137db71d148081bf1/semantic-rust/src/Language/Rust/AST.hs#L30 https://github.com/github/semantic/blob/793a876ae45d38a6bd17...
- avodonosov 3y agoIt would be more realistic to think of pull requests if github allowed per-repo configs with custom parsing scripts, similar to gitLab LSIF support - https://docs.gitlab.com/ee/user/project/code_intelligence.html https://docs.gitlab.com/ee/user/project/code_intelligence.ht.... Otherwise, how can a contrioutor be sure that his pull request really produces convenient code navigation in github UI. There is no way to test it.
- avodonosov 3y agoThe Semantic seems not used anymore: > During this time, the team migrated from a Semantic-based tagging service to one that operated entirely with (newly developed) Tree-sitter queries. Though Semantic performed well, using the Tree-sitter query language allowed faster iteration and avoided the operational overhead of a program-analysis framework. https://queue.acm.org/detail.cfm?id=3487022 https://queue.acm.org/detail.cfm?id=3487022