Skip to content
Snippets Groups Projects
Unverified Commit 2d8d7ef7 authored by mergify[bot]'s avatar mergify[bot] Committed by GitHub
Browse files

Fix #10042 Don't recommend deprecated/removed 'extensions:' field (#10078)


(cherry picked from commit dc9a7a02)

Co-authored-by: default avatarMike Pilgrem <mpilgrem@users.noreply.github.com>
parent e80632a6
Branches mergify/bp/3.12/pr-10035
No related tags found
No related merge requests found
......@@ -858,14 +858,14 @@ checkGHCOptions title t opts = do
let ghcNoRts = rmRtsOpts opts
checkAlternatives
title
"extensions"
"default-extensions"
[ (flag, prettyShow extension)
| flag <- ghcNoRts
, Just extension <- [ghcExtension flag]
]
checkAlternatives
title
"extensions"
"default-extensions"
[ (flag, extension)
| flag@('-' : 'X' : extension) <- ghcNoRts
]
......
synopsis: Don't recommend deprecated/removed 'extensions:' field
packages: Cabal
prs: #10044
issues: #10042
description: {
When applicable, field 'default-extensions:' is recommended (rather than
deprecated/removed 'extensions:').
}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment