-
Notifications
You must be signed in to change notification settings - Fork 64
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
Print warnings in lfc
even if there are errors
#1859
Comments
Do you have an example where warnings are not reported by lfc? It works fine for me on master. For instance
produces
|
When I turned the |
I just tried this out and indeed the warning wasn't shown for me either on first try. This is because you will get a linker error if you make a reaction bodyless for testing, but don't provide the implementation. The issue reporter in lfc collects all issues during the run, but it does not print the issues immediately (so that they are not intermingled with the cmake output). In this case, the issue reporter will collect two issues: the warning message and the linker error. Currently, lfc does not print warnings if there are errors. Hence, the warning is not printed, only the linker error. If you run lfc with So, the question for this issue is: do we want to keep the current behavior or should we always print warnings. |
I think that (in hindsight), we should always print warnings. |
lfc
lfc
even if there are errors
The message printed when there exists ambiguity in the program (see #1853) could arguably be an warning instead of an error, but it turns out warnings are not shown by
lfc
. We should fix this.The text was updated successfully, but these errors were encountered: