-
Notifications
You must be signed in to change notification settings - Fork 841
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
Add pedantic option to ghci #4463
Comments
Sounds like a good idea. Do you want to try sending a PR for it? |
I will try it. |
This should do it: alexkazik@df30f9d But when I use the new stack (after |
It looks good to me, need to make a PR to be able to merge it. I don't know why you get the missing ghc issue. Can you try |
(installed via brew) |
So the one in |
Yes, that did the trick. But I wonder wether it's maybe better to add to --ghci-options, now it's --ghc-options. With added to --ghc-options the pre-compile step fails and it's trying ghci anyway and then there is the error also. With --ghci-options the pre-compile would work. |
It's better to add to |
Updated the PR. |
Add pedantic option to ghci (#4463)
Thank you |
I'd like a pedantic option to the ghci sub-command:
stack ghci --pedantic
.I know that
stack ghci --ghci-options "-Wall -Werror"
does the same but it's more to type and it's then consistent with build.The text was updated successfully, but these errors were encountered: