Skip to content

Add ghc-9.14 language extensions #11636

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
philderbeast wants to merge 3 commits into
base: master
Choose a base branch
from
+19 −9
Open

Add ghc-9.14 language extensions #11636

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
31baca3
Add ghc-9.14 language extensions
philderbeast Mar 18, 2026
0b55c23
Add to vim syntax and sort
philderbeast Mar 19, 2026
84cd4c3
Update md5 check expectation
philderbeast Mar 19, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 6 additions & 0 deletions Cabal-syntax/src/Language/Haskell/Extension.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -556,6 +556,12 @@ data KnownExtension
| -- | Allow use of or-pattern syntax, condensing multiple patterns
-- into a single one.
OrPatterns
| -- | Along with 'ImplicitStagePersistence', this gives fine-grained control
-- over which modules are needed at each stage of execution.
ExplicitLevelImports
| -- | Allow identifiers to be used at different levels than where they’re
-- defined, using path-based persistence.
ImplicitStagePersistence
deriving (Generic, Show, Read, Eq, Ord, Enum, Bounded, Data)

instance Binary KnownExtension
Expand Down
4 changes: 2 additions & 2 deletions Cabal-tests/tests/UnitTests/Distribution/Utils/Structured.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -29,8 +29,8 @@ md5Check proxy md5Int = structureHash proxy @?= md5FromInteger md5Int

md5CheckGenericPackageDescription :: Proxy GenericPackageDescription -> Assertion
md5CheckGenericPackageDescription proxy = md5Check proxy
0xc039c6741dead5203ad2b33bd3bf4dc8
0xd355021433c2000dbf333e4efd4a800d

md5CheckLocalBuildInfo :: Proxy LocalBuildInfo -> Assertion
md5CheckLocalBuildInfo proxy = md5Check proxy
0xe38f63a643a5782e0ee7d16453796142
0x78979713e08179ab070d6ab10cd5ef6c
18 changes: 11 additions & 7 deletions editors/vim/syntax/cabal.vim
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -162,8 +162,8 @@ syn keyword cabalExtension contained
\ ConstraintKinds
\ DataKinds
\ DatatypeContexts
\ DefaultSignatures
\ DeepSubsumption
\ DefaultSignatures
\ DeriveAnyClass
\ DeriveDataTypeable
\ DeriveFoldable
Expand All @@ -182,6 +182,7 @@ syn keyword cabalExtension contained
\ EmptyDataDeriving
\ ExistentialQuantification
\ ExplicitForAll
\ ExplicitLevelImports
\ ExplicitNamespaces
\ ExtendedDefaultRules
\ ExtendedLiterals
Expand All @@ -201,6 +202,7 @@ syn keyword cabalExtension contained
\ HexFloatLiterals
\ ImplicitParams
\ ImplicitPrelude
\ ImplicitStagePersistence
\ ImportQualifiedPost
\ ImpredicativeTypes
\ IncoherentInstances
Expand All @@ -213,16 +215,15 @@ syn keyword cabalExtension contained
\ LiberalTypeSynonyms
\ LinearTypes
\ ListTuplePuns
\ RequiredTypeArguments
\ MagicHash
\ MonadComprehensions
\ MonadFailDesugaring
\ MonoLocalBinds
\ MonoPatBinds
\ MonomorphismRestriction
\ MultilineStrings
\ MultiParamTypeClasses
\ MultiWayIf
\ MultilineStrings
\ NPlusKPatterns
\ NamedDefaults
\ NamedFieldPuns
Expand Down Expand Up @@ -260,6 +261,7 @@ syn keyword cabalExtension contained
\ RecursiveDo
\ RegularPatterns
\ RelaxedPolyRec
\ RequiredTypeArguments
\ RestrictedTypeSynonyms
\ RoleAnnotations
\ SafeImports
Expand Down Expand Up @@ -307,8 +309,8 @@ syn keyword cabalExtension contained
\ NoConstraintKinds
\ NoDataKinds
\ NoDatatypeContexts
\ NoDefaultSignatures
\ NoDeepSubsumption
\ NoDefaultSignatures
\ NoDeriveAnyClass
\ NoDeriveDataTypeable
\ NoDeriveFoldable
Expand All @@ -327,6 +329,7 @@ syn keyword cabalExtension contained
\ NoEmptyDataDeriving
\ NoExistentialQuantification
\ NoExplicitForAll
\ NoExplicitLevelImports
\ NoExplicitNamespaces
\ NoExtendedDefaultRules
\ NoExtendedLiterals
Expand All @@ -346,6 +349,7 @@ syn keyword cabalExtension contained
\ NoHexFloatLiterals
\ NoImplicitParams
\ NoImplicitPrelude
\ NoImplicitStagePersistence
\ NoImportQualifiedPost
\ NoImpredicativeTypes
\ NoIncoherentInstances
Expand All @@ -357,16 +361,15 @@ syn keyword cabalExtension contained
\ NoLexicalNegation
\ NoLiberalTypeSynonyms
\ NoLinearTypes
\ NoRequiredTypeArguments
\ NoMagicHash
\ NoMonadComprehensions
\ NoMonadFailDesugaring
\ NoMonoLocalBinds
\ NoMonoPatBinds
\ NoMonomorphismRestriction
\ NoMultilineStrings
\ NoMultiParamTypeClasses
\ NoMultiWayIf
\ NoMultilineStrings
\ NoNPlusKPatterns
\ NoNamedDefaults
\ NoNamedFieldPuns
Expand All @@ -377,12 +380,12 @@ syn keyword cabalExtension contained
\ NoNullaryTypeClasses
\ NoNumDecimals
\ NoNumericUnderscores
\ NoOrPatterns
\ NoOverlappingInstances
\ NoOverloadedLabels
\ NoOverloadedLists
\ NoOverloadedRecordDot
\ NoOverloadedStrings
\ NoOrPatterns
\ NoPackageImports
\ NoParallelArrays
\ NoParallelListComp
Expand All @@ -404,6 +407,7 @@ syn keyword cabalExtension contained
\ NoRecursiveDo
\ NoRegularPatterns
\ NoRelaxedPolyRec
\ NoRequiredTypeArguments
\ NoRestrictedTypeSynonyms
\ NoRoleAnnotations
\ NoSafeImports
Expand Down
Loading