Add the ExtendedLiterals extension (backport of haskell#8992)

Kleidukos · Aug 20, 2023 · 9faa4db · 9faa4db
1 parent bcabe6f
commit 9faa4db
Show file tree

Hide file tree

Showing 4 changed files with 20 additions and 3 deletions.
diff --git a/Cabal-syntax/src/Language/Haskell/Extension.hs b/Cabal-syntax/src/Language/Haskell/Extension.hs
@@ -92,7 +92,7 @@ classifyLanguage = \str -> case lookup str langTable of
 
 -- Note: if you add a new 'KnownExtension':
 --
--- * also add it to the Distribution.Simple.X.languageExtensions lists
+-- * also add it to the Distribution.Simple.X.compilerExtensions lists
 --   (where X is each compiler: GHC, UHC, HaskellSuite)
 --
 -- | This represents language extensions beyond a base 'Language' definition
@@ -677,6 +677,9 @@ data KnownExtension =
   -- | Enable data types for which an unlifted or levity-polymorphic result kind is inferred.
   | UnliftedDatatypes
 
+  -- | Enable syntax for primitive numeric literals, e.g. @3#Int8@
+  | ExtendedLiterals
+
   -- | Undocumented parsing-related extensions introduced in GHC 7.0.
   | AlternativeLayoutRule
 

diff --git a/Cabal-tests/tests/UnitTests/Distribution/Utils/Structured.hs b/Cabal-tests/tests/UnitTests/Distribution/Utils/Structured.hs
@@ -27,9 +27,9 @@ tests = testGroup "Distribution.Utils.Structured"
     -- The difference is in encoding of newtypes
 #if MIN_VERSION_base(4,7,0)
     , testCase "GenericPackageDescription" $
-      md5Check (Proxy :: Proxy GenericPackageDescription) 0xa3e9433662ecf0c7a3c26f6d75a53ba1
+      md5Check (Proxy :: Proxy GenericPackageDescription) 0x8d8f340f10a58b8d8a87bf42213dac89
     , testCase "LocalBuildInfo" $
-      md5Check (Proxy :: Proxy LocalBuildInfo) 0x91ffcd61bbd83525e8edba877435a031
+      md5Check (Proxy :: Proxy LocalBuildInfo) 0xbb22c3258d3092f31e992bc093d09170
 #endif
     ]
 

diff --git a/changelog.d/pr-8992 b/changelog.d/pr-8992
@@ -0,0 +1,10 @@
+synopsis: Add language extension ExtendedLiterals
+packages: Cabal-syntax
+prs: #8992
+significance: significant
+
+description: {
+
+- adds support for the ExtendedLiterals language extension (GHC proposal #451)
+
+}
diff --git a/editors/vim/syntax/cabal.vim b/editors/vim/syntax/cabal.vim
@@ -182,6 +182,7 @@ syn keyword cabalExtension contained
   \ ExplicitNamespaces
   \ ExtendedDefaultRules
   \ ExtensibleRecords
+  \ ExtendedLiterals
   \ FieldSelectors
   \ FlexibleContexts
   \ FlexibleInstances
@@ -299,6 +300,7 @@ syn keyword cabalExtension contained
   \ NoDataKinds
   \ NoDatatypeContexts
   \ NoDefaultSignatures
+  \ NoDeepSubsumption
   \ NoDeriveAnyClass
   \ NoDeriveDataTypeable
   \ NoDeriveFoldable
@@ -319,6 +321,7 @@ syn keyword cabalExtension contained
   \ NoExplicitForAll
   \ NoExplicitNamespaces
   \ NoExtendedDefaultRules
+  \ NoExtendedLiterals
   \ NoExtensibleRecords
   \ NoFieldSelectors
   \ NoFlexibleContexts
@@ -406,6 +409,7 @@ syn keyword cabalExtension contained
   \ NoTransformListComp
   \ NoTupleSections
   \ NoTypeApplications
+  \ NoTypeData
   \ NoTypeFamilies
   \ NoTypeFamilyDependencies
   \ NoTypeInType