-
Notifications
You must be signed in to change notification settings - Fork 843
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
GHC Hide Source Paths #4736
GHC Hide Source Paths #4736
Conversation
5723b6c
to
2c7a685
Compare
2c7a685
to
9d12cce
Compare
Hi @snoyberg. I think this is ready for a review please. Also, I have a couple of questions: I'm getting this warning locally:
Which seems related to Also, should this change be included in the Changelog? |
Are you getting that when running with the old or new version of Stack? It's expected with the old version, since it's unaware of that setting. With the new version there's definitely something weird going on.
Totally forgot about that, yes please! |
doc/yaml_configuration.md
Outdated
@@ -1045,3 +1045,25 @@ a yaml configuration file. | |||
|
|||
(The British English spelling (colour) is also accepted. In yaml configuration | |||
files, the American spelling is the alternative that has priority.) | |||
|
|||
### hide-source-directories |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think this should say hide-source-paths
instead.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Oops, sorry!
LGTM, thanks! |
Add
ghc-option
to hide source paths when using ghc >= 8.2 as detailed in #3784.To test
hide-source-paths
instack.yaml
set tofalse
should restore including the source pathshide-source-paths
instack.yaml
set totrue
should hide the source paths (as the default behavior)E.g.:
When enabled:
When disabled: