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.

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

Unused Bindings Warnings #631

Closed
andreistefanescu opened this issue Jan 21, 2020 · 1 comment
Closed

Unused Bindings Warnings #631

andreistefanescu opened this issue Jan 21, 2020 · 1 comment
Assignees
Labels
wontfix Closed issues that we decided not to fix, but are still potentially relevant

Comments

@andreistefanescu
Copy link
Contributor

saw should warn about all the unused bindings in the script, except the bindings with names that begin with _.

@brianhuffman
Copy link
Contributor

As this is purely concerned with the saw-script language and typechecker, which will be superseded by the new python-based frontend, we are not likely to spend any time on adding this feature.

@brianhuffman brianhuffman added the wontfix Closed issues that we decided not to fix, but are still potentially relevant label Jan 18, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
wontfix Closed issues that we decided not to fix, but are still potentially relevant
Projects
None yet
Development

No branches or pull requests

2 participants