Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Build a Typechecker #44

Open
ryangjchandler opened this issue Mar 8, 2024 · 0 comments
Open

Build a Typechecker #44

ryangjchandler opened this issue Mar 8, 2024 · 0 comments
Assignees
@ryangjchandler
Labels
project: statan Related to the Statan (static analyser) project.

Comments

@ryangjchandler
Copy link
Member

Another key component for the PXP project is a new static analyser. The goal is to start off with purely a typechecker, since that is what (I estimate) 90% of static analysis users want and need from their chosen tool.

I think it should be the linters job (#35) to pick up on things like unused variables, pointless pieces of code, etc.
@ryangjchandler ryangjchandler added priority: high This needs to be done before other things. project: statan Related to the Statan (static analyser) project. and removed priority: high This needs to be done before other things. labels Mar 8, 2024
@ryangjchandler ryangjchandler self-assigned this May 5, 2024
@ryangjchandler ryangjchandler mentioned this issue Jul 31, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ryangjchandler ryangjchandler

Labels
project: statan Related to the Statan (static analyser) project.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ryangjchandler