Run ghc-supported-extensions on CI

Author: sol

.github/workflows/validate.yml

@@ -262,6 +262,9 @@ jobs:
       # one possibly nightmarish final conditional. 'fail-fast' gets us
       # partway there, at least, but is still imperfect.
 
+      - name: Check that language extensions are registered for this GHC version
+        run: cabal run ghc-supported-extensions ghc
+
   validate-old-ghcs:
     name: Validate old ghcs ${{ matrix.extra-ghc }}
     # latest/latest doesn't have the old packages the old ghcs depend on

Cabal-tests/exes/GhcSupportedExtensions.hs

@@ -11,7 +11,6 @@ import Distribution.Text (display, simpleParse)
 import Distribution.Verbosity (Verbosity (..), defaultVerbosityHandles, normal)
 import Language.Haskell.Extension (Extension (..), knownLanguages)
 
-import Data.List ((\\))
 import System.Environment (getArgs, getProgName)
 
 -- | Language editions as Extensions.
@@ -61,11 +60,8 @@ checkProblems implemented =
   -- Extensions that ghc knows about but that are not registered except for the known languages.
   let unregistered = [ext | ext <- implemented, not (registered ext), ext `notElem` langsAsExts]
 
-      -- check if someone has forgotten to update the `langsAsExts` exceptions list...
-      badExceptions = langsAsExts \\ implemented
-
       -- exceptions that are now registered
-      badExceptions' = filter registered langsAsExts
+      badExceptions = filter registered langsAsExts
    in catMaybes
         [ check unregistered $
             unlines
@@ -75,19 +71,11 @@ checkProblems implemented =
               , "All extensions should be registered, even experimental extensions."
               ]
         , check badExceptions $
-            unlines
-              [ "Error in the extension exception list. The following extensions"
-              , "are listed as exceptions but are not even implemented by GHC:"
-              , "  " ++ intercalate "\n  " (map display badExceptions)
-              , "Please fix this test program by correcting the list of"
-              , "exceptions."
-              ]
-        , check badExceptions' $
             unlines
               [ "Error in the extension exception list. The following extensions"
               , "are listed as exceptions to registration but they are in fact"
               , "now registered in Language.Haskell.Extension:"
-              , "  " ++ intercalate "\n  " (map display badExceptions')
+              , "  " ++ intercalate "\n  " (map display badExceptions)
               , "Please fix this test program by correcting the list of"
               , "exceptions."
               ]

foo

@@ -0,0 +1,288 @@
+Haskell98
+Haskell2010
+GHC2021
+GHC2024
+Unsafe
+Trustworthy
+Safe
+CPP
+NoCPP
+OverlappingInstances
+NoOverlappingInstances
+UndecidableInstances
+NoUndecidableInstances
+IncoherentInstances
+NoIncoherentInstances
+UndecidableSuperClasses
+NoUndecidableSuperClasses
+MonomorphismRestriction
+NoMonomorphismRestriction
+MonoLocalBinds
+NoMonoLocalBinds
+DeepSubsumption
+NoDeepSubsumption
+RelaxedPolyRec
+NoRelaxedPolyRec
+ExtendedDefaultRules
+NoExtendedDefaultRules
+NamedDefaults
+NoNamedDefaults
+ForeignFunctionInterface
+NoForeignFunctionInterface
+UnliftedFFITypes
+NoUnliftedFFITypes
+InterruptibleFFI
+NoInterruptibleFFI
+CApiFFI
+NoCApiFFI
+GHCForeignImportPrim
+NoGHCForeignImportPrim
+NoJavaScriptFFI
+ParallelArrays
+NoParallelArrays
+Arrows
+NoArrows
+TemplateHaskell
+NoTemplateHaskell
+TemplateHaskellQuotes
+NoTemplateHaskellQuotes
+QualifiedDo
+NoQualifiedDo
+QuasiQuotes
+NoQuasiQuotes
+ImplicitParams
+NoImplicitParams
+ImplicitPrelude
+NoImplicitPrelude
+ScopedTypeVariables
+NoScopedTypeVariables
+PatternSignatures
+NoPatternSignatures
+AllowAmbiguousTypes
+NoAllowAmbiguousTypes
+UnboxedTuples
+NoUnboxedTuples
+UnboxedSums
+NoUnboxedSums
+UnliftedNewtypes
+NoUnliftedNewtypes
+UnliftedDatatypes
+NoUnliftedDatatypes
+BangPatterns
+NoBangPatterns
+TypeFamilies
+NoTypeFamilies
+TypeFamilyDependencies
+NoTypeFamilyDependencies
+TypeInType
+NoTypeInType
+OverloadedStrings
+NoOverloadedStrings
+OverloadedLists
+NoOverloadedLists
+NumDecimals
+NoNumDecimals
+DisambiguateRecordFields
+NoDisambiguateRecordFields
+RecordWildCards
+NoRecordWildCards
+NamedFieldPuns
+NoNamedFieldPuns
+RecordPuns
+NoRecordPuns
+ViewPatterns
+NoViewPatterns
+OrPatterns
+NoOrPatterns
+GADTs
+NoGADTs
+GADTSyntax
+NoGADTSyntax
+NPlusKPatterns
+NoNPlusKPatterns
+DoAndIfThenElse
+NoDoAndIfThenElse
+BlockArguments
+NoBlockArguments
+RebindableSyntax
+NoRebindableSyntax
+ConstraintKinds
+NoConstraintKinds
+PolyKinds
+NoPolyKinds
+DataKinds
+NoDataKinds
+TypeData
+NoTypeData
+InstanceSigs
+NoInstanceSigs
+ApplicativeDo
+NoApplicativeDo
+LinearTypes
+NoLinearTypes
+RequiredTypeArguments
+NoRequiredTypeArguments
+StandaloneDeriving
+NoStandaloneDeriving
+DeriveDataTypeable
+NoDeriveDataTypeable
+AutoDeriveTypeable
+NoAutoDeriveTypeable
+DeriveFunctor
+NoDeriveFunctor
+DeriveTraversable
+NoDeriveTraversable
+DeriveFoldable
+NoDeriveFoldable
+DeriveGeneric
+NoDeriveGeneric
+DefaultSignatures
+NoDefaultSignatures
+DeriveAnyClass
+NoDeriveAnyClass
+DeriveLift
+NoDeriveLift
+DerivingStrategies
+NoDerivingStrategies
+DerivingVia
+NoDerivingVia
+TypeSynonymInstances
+NoTypeSynonymInstances
+FlexibleContexts
+NoFlexibleContexts
+FlexibleInstances
+NoFlexibleInstances
+ConstrainedClassMethods
+NoConstrainedClassMethods
+MultiParamTypeClasses
+NoMultiParamTypeClasses
+NullaryTypeClasses
+NoNullaryTypeClasses
+FunctionalDependencies
+NoFunctionalDependencies
+UnicodeSyntax
+NoUnicodeSyntax
+ExistentialQuantification
+NoExistentialQuantification
+MagicHash
+NoMagicHash
+EmptyDataDecls
+NoEmptyDataDecls
+KindSignatures
+NoKindSignatures
+RoleAnnotations
+NoRoleAnnotations
+ParallelListComp
+NoParallelListComp
+TransformListComp
+NoTransformListComp
+MonadComprehensions
+NoMonadComprehensions
+GeneralizedNewtypeDeriving
+NoGeneralizedNewtypeDeriving
+GeneralisedNewtypeDeriving
+NoGeneralisedNewtypeDeriving
+RecursiveDo
+NoRecursiveDo
+DoRec
+NoDoRec
+PostfixOperators
+NoPostfixOperators
+TupleSections
+NoTupleSections
+PatternGuards
+NoPatternGuards
+LiberalTypeSynonyms
+NoLiberalTypeSynonyms
+RankNTypes
+NoRankNTypes
+Rank2Types
+NoRank2Types
+PolymorphicComponents
+NoPolymorphicComponents
+ImpredicativeTypes
+NoImpredicativeTypes
+TypeOperators
+NoTypeOperators
+ExplicitNamespaces
+NoExplicitNamespaces
+PackageImports
+NoPackageImports
+ExplicitForAll
+NoExplicitForAll
+AlternativeLayoutRule
+NoAlternativeLayoutRule
+AlternativeLayoutRuleTransitional
+NoAlternativeLayoutRuleTransitional
+DatatypeContexts
+NoDatatypeContexts
+NondecreasingIndentation
+NoNondecreasingIndentation
+RelaxedLayout
+NoRelaxedLayout
+TraditionalRecordSyntax
+NoTraditionalRecordSyntax
+LambdaCase
+NoLambdaCase
+MultiWayIf
+NoMultiWayIf
+BinaryLiterals
+NoBinaryLiterals
+NegativeLiterals
+NoNegativeLiterals
+HexFloatLiterals
+NoHexFloatLiterals
+DuplicateRecordFields
+NoDuplicateRecordFields
+OverloadedLabels
+NoOverloadedLabels
+EmptyCase
+NoEmptyCase
+PatternSynonyms
+NoPatternSynonyms
+PartialTypeSignatures
+NoPartialTypeSignatures
+NamedWildCards
+NoNamedWildCards
+StaticPointers
+NoStaticPointers
+TypeApplications
+NoTypeApplications
+Strict
+NoStrict
+StrictData
+NoStrictData
+EmptyDataDeriving
+NoEmptyDataDeriving
+NumericUnderscores
+NoNumericUnderscores
+QuantifiedConstraints
+NoQuantifiedConstraints
+StarIsType
+NoStarIsType
+ImportQualifiedPost
+NoImportQualifiedPost
+CUSKs
+NoCUSKs
+StandaloneKindSignatures
+NoStandaloneKindSignatures
+LexicalNegation
+NoLexicalNegation
+FieldSelectors
+NoFieldSelectors
+OverloadedRecordDot
+NoOverloadedRecordDot
+OverloadedRecordUpdate
+NoOverloadedRecordUpdate
+TypeAbstractions
+NoTypeAbstractions
+ExtendedLiterals
+NoExtendedLiterals
+ListTuplePuns
+NoListTuplePuns
+MultilineStrings
+NoMultilineStrings
+ExplicitLevelImports
+NoExplicitLevelImports
+ImplicitStagePersistence
+NoImplicitStagePersistence