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

qualifier compilation errors are reported in checker-qual/, but should be reported in checker/ #3325

Closed
mernst opened this issue May 26, 2020 · 0 comments · Fixed by #4161
Closed

qualifier compilation errors are reported in checker-qual/, but should be reported in checker/ #3325

mernst opened this issue May 26, 2020 · 0 comments · Fixed by #4161

Comments

@mernst
Copy link
Member

mernst commented May 26, 2020

It is annoying that :checker:compileJava depends on :checker-qual:compileJava.
If there is a compilation error in a qualifier definition, then that compilation error is issued by :checker-qual:compileJava, on a read-only copy under directory checker-framework/checker-qual/ which is not where the bug should be fixed. The bug should be fixed under directory checker-framework/checker/ and it would be nicer if the compilation process issued that error.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Move checker-qual sources to the checker-qual subproject smillst/checker-framework
1 participant
@mernst