rescript-lang / rescript-lang/reanalyze
Use single dead annotation if entire module is unused
Nobody has claimed this yet.
- Dominant language
- OCaml
- Stars
- 281
- Forks
- 22
- Avg merge
- 1d 19h
- Merged PRs (30d)
- 7
Description
Running reanalyze https://github.com/rescript-association/reanalyze/commit/389dd682223201b42c33e5c444e5c79e0805adad on Goblint https://github.com/goblint/analyzer/commit/a544002114324a207df72f9e79eb656c3ebe7b5b revealed the following.
If an entire module is unused, then every single definition in the module is marked with a dead annotation (using -write at least). Although true, I think it's a bit too verbose.
It would be neat if there could be just one annotation for the entire module.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reproducing the reported output with reanalyze at commit 389dd682223201b42c33e5c444e5c79e0805adad on the Goblint commit cited in the issue, using -write. Trace how dead annotations are emitted for an entirely unused module. Done means the module receives one annotation instead of one annotation per definition.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- ocaml
- Domain
- compilers, tooling
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 42/100