ghc-lib-parser 9.8

.github/workflows/ci.yml

@@ -12,7 +12,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ghc: [ghc928, ghc945, ghc962]
+        ghc: [ghc945, ghc962]
     name: Build and test on ${{ matrix.ghc }}
     runs-on: ubuntu-latest
     steps:

CHANGELOG.md

@@ -1,3 +1,11 @@
+## Unreleased
+
+* Switched to `ghc-lib-parser-9.8`, with the following new syntactic features:
+  * `ExtendedLiterals`: `123#Int8` is of type `Int8#`. (disabled by default)
+  * `TypeAbstractions`: `@k`-binders in type decls (enabled by default)
+  * GHC proposal #134: deprecating/warning about exports
+  * GHC proposal #541: warning categories
+
 ## Ormolu 0.7.2.0
 
 * Preserve necessary braces for final function arguments. [Issue

cabal.project

@@ -1,3 +1,10 @@
 packages: . extract-hackage-info
 
 constraints: ormolu +dev
+
+source-repository-package
+  type: git
+  location: https://github.com/amesgen/stuff
+  tag: cbd90acce362281be73279c0b5482a6f12922f83
+  subdir: ghc-lib-parser-9.8.1-alpha4
+  --sha256: sha256-WmOgZBFWYIOpPfGju+Oox+FehzxfeUCuV24lWab1JKc=

data/examples/declaration/data/invisible-binders-out.hs

@@ -0,0 +1,2 @@
+type T :: forall k. k -> forall j. j -> Type
+data T @k (a :: k) @(j :: Type) (b :: j)

data/examples/declaration/data/invisible-binders.hs

@@ -0,0 +1,2 @@
+type T :: forall k. k -> forall j. j -> Type
+data T @k (a :: k) @(j :: Type) (b :: j)

data/examples/declaration/value/function/primitive-literals-out.hs

@@ -0,0 +1,10 @@
+{-# LANGUAGE ExtendedLiterals #-}
+{-# LANGUAGE MagicHash #-}
+
+foo = 1#
+
+bar = 2##
+
+baz = 3#Word32
+
+baz = 0b1010#Int64

data/examples/declaration/value/function/primitive-literals.hs

@@ -0,0 +1,9 @@
+{-# LANGUAGE ExtendedLiterals, MagicHash #-}
+
+foo = 1#
+
+bar = 2##
+
+baz = 3#Word32
+
+baz =  0b1010#Int64

data/examples/declaration/warning/warning-single-line-out.hs

@@ -11,3 +11,6 @@ baz = 5
 
 data Number = Number Dobule
 {-# DEPRECATED Number "Use Scientific instead." #-}
+
+head (a : _) = a
+{-# WARNING in "x-partial" head "This function is partial..." #-}

data/examples/declaration/warning/warning-single-line.hs

@@ -13,3 +13,6 @@ baz = 5
 
 data Number = Number Dobule
 {-# DEPRECATED Number "Use Scientific instead." #-}
+
+head (a:_) = a
+{-# WARNING in "x-partial" head "This function is partial..." #-}

data/examples/import/deprecated-export-multi-line-out.hs

@@ -0,0 +1,7 @@
+module X
+  ( {-# DEPRECATE D(D1) "D1 will not be exposed in a version 0.2 and later" #-}
+    D (D1, D2),
+  )
+where
+
+data D = D1 | D2

data/examples/import/deprecated-export-multi-line.hs

@@ -0,0 +1,5 @@
+module X
+    ( {-# DEPRECATE D(D1) "D1 will not be exposed in a version 0.2 and later" #-}
+      D(D1, D2)
+    ) where
+data D = D1 | D2

data/examples/import/deprecated-export-single-line-out.hs

@@ -0,0 +1,3 @@
+module A ({-# DEPRECATED "blah" #-} x) where
+
+x = True

data/examples/import/deprecated-export-single-line.hs

@@ -0,0 +1 @@
+module A ( {-# DEPRECATED "blah" #-} x ) where { x = True }

extract-hackage-info/extract-hackage-info.cabal

@@ -23,6 +23,3 @@ executable extract-hackage-info
         text >=2.0 && <3.0,
         formatting >=7.1 && <7.3,
         megaparsec >=9.0
-
-    if !impl(ghc >=9.2 && <9.3)
-        buildable: False