From 6ad7eef8f35ba962ad3cbb7c7c80c7e821812ed2 Mon Sep 17 00:00:00 2001 From: Mike Pilgrem Date: Thu, 23 May 2024 00:29:09 +0100 Subject: [PATCH] Fix #10042 Don't recommend deprecated/removed 'extensions:' field --- Cabal/src/Distribution/PackageDescription/Check/Target.hs | 4 ++-- changelog.d/issue-10042 | 8 ++++++++ 2 files changed, 10 insertions(+), 2 deletions(-) create mode 100644 changelog.d/issue-10042 diff --git a/Cabal/src/Distribution/PackageDescription/Check/Target.hs b/Cabal/src/Distribution/PackageDescription/Check/Target.hs index fdafa89b6e5..2ca8ee1f0d7 100644 --- a/Cabal/src/Distribution/PackageDescription/Check/Target.hs +++ b/Cabal/src/Distribution/PackageDescription/Check/Target.hs @@ -859,14 +859,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 ] diff --git a/changelog.d/issue-10042 b/changelog.d/issue-10042 new file mode 100644 index 00000000000..8d95f0a68ae --- /dev/null +++ b/changelog.d/issue-10042 @@ -0,0 +1,8 @@ +synopsis: Don't recommend deprecated/removed 'extensions:' field +packages: Cabal +issues: #10042 + +description: { + When applicable, field 'default-extensions:' is recommended (rather than + deprecated/removed 'extensions:'). +}