Test ghc-9.4.0.20220623

.github/workflows/validate.yml

@@ -50,6 +50,12 @@ jobs:
           - os: "windows-latest"
             ghc: "8.6.5"
         include:
+          - os: "ubuntu-latest"
+            ghc: "9.4.0.20220623"
+            cli: "false"
+          - os: "macos-latest"
+            ghc: "9.4.0.20220623"
+            cli: "false"
           - os: "ubuntu-latest"
             ghc: "8.0.2"
             cli: "false"
@@ -64,6 +70,9 @@ jobs:
 
       - uses: actions/checkout@v2
 
+      - name: Enable ghcup prerelease channel
+        run: ghcup config add-release-channel https://raw.githubusercontent.com/haskell/ghcup-metadata/master/ghcup-prereleases-0.0.7.yaml
+
       - uses: haskell/actions/setup@v1
         id: setup-haskell
         with:
@@ -87,7 +96,7 @@ jobs:
       - name: Install cabal-plan
         run: |
           cd $(mktemp -d)
-          cabal install cabal-plan --constraint='cabal-plan +exe'
+          cabal install cabal-plan --constraint='cabal-plan +exe' --allow-newer='base,template-haskell,ghc-bignum,ghc-prim'
           echo "$HOME/.cabal/bin" >> $GITHUB_PATH
 
       # The tool is not essential to the rest of the test suite. If

cabal.project.validate.libonly

@@ -17,9 +17,65 @@ constraints: these -assoc
 package Cabal-syntax
   ghc-options: -Werror -fno-ignore-asserts
 package Cabal
-  ghc-options: -Werror -fno-ignore-asserts
+  -- https://github.com/haskell/cabal/issues/8268
+  ghc-options: -Werror -fno-ignore-asserts -Wno-type-equality-requires-operators
 package cabal-testsuite
   ghc-options: -Werror -fno-ignore-asserts
 
--- https://github.com/haskell-hvr/cryptohash-sha256/issues/12
-allow-newer: cryptohash-sha256:base
+allow-newer:
+  -- https://github.com/haskellari/splitmix/issues/64
+  splitmix:base,
+  -- https://github.com/ekmett/tagged/issues/54
+  tagged:template-haskell,
+  -- https://github.com/phadej/rere/issues/17
+  rere:base,
+  --
+  tree-diff:base,
+  --
+  uuid-types:template-haskell,
+  --
+  these:base,
+  --
+  assoc:base,
+  --
+  bifunctors:template-haskell,
+  --
+  th-abstraction:template-haskell,
+  --
+  semialign:base,
+  --
+  indexed-traversable:base,
+  indexed-traversable-instances:base,
+  --
+  hashable:base,
+  hashable:ghc-bignum,
+  --
+  aeson:ghc-prim,
+  aeson:template-haskell,
+  --
+  scientific:base,
+  scientific:template-haskell,
+  --
+  OneTuple:base,
+  --
+  time-compat:base,
+  --
+  text-short:base,
+  text-short:ghc-prim,
+  text-short:template-haskell,
+  --
+  data-fix:base,
+  --
+  attoparsec:base,
+  attoparsec:ghc-prim,
+  --
+  integer-logarithms:base,
+  integer-logarithms:ghc-prim,
+  integer-logarithms:ghc-bignum,
+  --
+  async:base,
+  --
+  cabal-testsuite:base,
+  cabal-testsuite:text,
+  --
+  cryptohash-sha256:base