diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-11-21 22:32:29 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-11-23 01:08:05 -0500 |
| commit | 3ab3631f41efe9a1ae32a5b1f709152228edb09a (patch) | |
| tree | cdda5ddc1c2dc146512b98b56c76a9535e9bc021 /.gitlab-ci.yml | |
| parent | 1ed2aa90da7973283408a8a121103d596b05f81b (diff) | |
| download | haskell-3ab3631f41efe9a1ae32a5b1f709152228edb09a.tar.gz | |
Add a warning for GADT match + NoMonoLocalBinds (#20485)
Previously, it was an error to pattern match on a GADT
without GADTs or TypeFamilies.
This is now allowed. Instead, we check the flag MonoLocalBinds;
if it is not enabled, we issue a warning, controlled by -Wgadt-mono-local-binds.
Also fixes #20485: pattern synonyms are now checked too.
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions