You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently we have warnings field in .toml configuration file. But the purpose of this field is to add not only warnings, but also any other GHC flags and options. Thus it makes more sense to name this field as ghc-options rather then warnings.
Since this is a very breaking change, I propose the following strategy to deal with this:
Next release
Add ghc-options field in addition to warnings.
Tell message about deprecation of warnings field and suggestions to use ghc-options instead.
After release
Drop warnings field.
The text was updated successfully, but these errors were encountered:
Currently we have
warnings
field in.toml
configuration file. But the purpose of this field is to add not only warnings, but also any other GHC flags and options. Thus it makes more sense to name this field asghc-options
rather thenwarnings
.Since this is a very breaking change, I propose the following strategy to deal with this:
Next release
ghc-options
field in addition towarnings
.warnings
field and suggestions to useghc-options
instead.After release
warnings
field.The text was updated successfully, but these errors were encountered: