Update GHC and Cabal deps

tweag · Aug 17, 2023 · 781a828 · 781a828
1 parent 7afa915
commit 781a828
Show file tree

Hide file tree

Showing 8 changed files with 116 additions and 508 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -12,7 +12,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ghc: [ghc927, ghc944, ghc961]
+        ghc: [ghc928, ghc945, ghc962]
     name: Build and test on ${{ matrix.ghc }}
     runs-on: ubuntu-latest
     steps:

diff --git a/expected-failures/Agda.txt b/expected-failures/Agda.txt
@@ -1,5 +1,5 @@
 src/full/Agda/Syntax/Internal.hs
-@@ -624,32 +671,28 @@
+@@ -628,32 +676,28 @@
       _ -> Nothing
 
   -----------------------------------------------------------------------------
@@ -34,15 +34,15 @@ src/full/Agda/Syntax/Internal.hs
       --     Γ ⊢ u :# ρ : Δ, A
       --   @
 -
--   | Strengthen Impossible (Substitution' a)
+-   | Strengthen Impossible !Int (Substitution' a)
 -     -- ^ Strengthening substitution.  First argument is @__IMPOSSIBLE__@.
 +     a :# Substitution' a
 +   | -- | Strengthening substitution.  First argument is @__IMPOSSIBLE__@.
-      --   Apply this to a term which does not contain variable 0
-      --   to lower all de Bruijn indices by one.
-      --   @
+      --   In @'Strengthen err n ρ@ the number @n@ must be non-negative.
+      --   This substitution should only be applied to values @t@ for
+      --   which none of the variables @0@ up to @n - 1@ are free in
 
   AST of input and AST of formatted code differ.
-    at src/full/Agda/Syntax/Internal.hs:643:5
+    at src/full/Agda/Syntax/Internal.hs:647:5
   Please, consider reporting the bug.
   To format anyway, use --unsafe.
diff --git a/expected-failures/default.nix b/expected-failures/default.nix
@@ -77,7 +77,7 @@ in
         "servant-server"
         "stack"
         "tensorflow"
-        "text_2_0_1"
+        "text_2_0_2"
         "tls"
         "unpacked-containers"
         "yesod-core"

diff --git a/expected-failures/esqueleto.txt b/expected-failures/esqueleto.txt
@@ -1,3 +1,3 @@
-src/Database/Esqueleto/Internal/Internal.hs:410:1
+src/Database/Esqueleto/Internal/Internal.hs:434:1
   The GHC parser (in Haddock mode) failed:
   [GHC-21231] lexical error in string/character literal at character 's'
diff --git a/extract-hackage-info/extract-hackage-info.cabal b/extract-hackage-info/extract-hackage-info.cabal
@@ -14,14 +14,14 @@ executable extract-hackage-info
         Cabal-syntax >=3.10 && <3.11,
         base >=4.12 && <5.0,
         binary >=0.8 && <0.9,
-        bytestring >=0.10 && <0.12,
+        bytestring >=0.10 && <0.13,
         containers >=0.6 && <0.7,
         directory >=1.0 && <2.0,
         filepath >=1.2 && <1.5,
         optparse-applicative >=0.14 && <0.19,
         ormolu,
         text >=2.0 && <3.0,
-        formatting >=7.1 && <7.2,
+        formatting >=7.1 && <7.3,
         megaparsec >=9.0
 
     if !impl(ghc >=9.2 && <9.3)