Allow base-4.17, lens-5.2

phadej · phadej · commit 593c71de525b · 2022-08-22T16:48:10.000+03:00
diff --git a/.github/workflows/haskell-ci.yml b/.github/workflows/haskell-ci.yml
@@ -32,20 +32,25 @@ jobs:
     strategy:
       matrix:
         include:
-          - compiler: ghc-9.2.1
+          - compiler: ghc-9.4.1
             compilerKind: ghc
-            compilerVersion: 9.2.1
+            compilerVersion: 9.4.1
             setup-method: ghcup
             allow-failure: false
-          - compiler: ghc-9.0.1
+          - compiler: ghc-9.2.4
             compilerKind: ghc
-            compilerVersion: 9.0.1
-            setup-method: hvr-ppa
+            compilerVersion: 9.2.4
+            setup-method: ghcup
             allow-failure: false
-          - compiler: ghc-8.10.4
+          - compiler: ghc-9.0.2
             compilerKind: ghc
-            compilerVersion: 8.10.4
-            setup-method: hvr-ppa
+            compilerVersion: 9.0.2
+            setup-method: ghcup
+            allow-failure: false
+          - compiler: ghc-8.10.7
+            compilerKind: ghc
+            compilerVersion: 8.10.7
+            setup-method: ghcup
             allow-failure: false
           - compiler: ghc-8.8.4
             compilerKind: ghc
diff --git a/bin/bin.cabal b/bin/bin.cabal
@@ -1,6 +1,7 @@
 cabal-version:      2.2
 name:               bin
 version:            0.1.2
+x-revision:         1
 synopsis:           Bin: binary natural numbers.
 category:           Data, Dependent Types, Singletons, Math
 description:
@@ -41,9 +42,10 @@ tested-with:
    || ==8.4.4
    || ==8.6.5
    || ==8.8.4
-   || ==8.10.4
-   || ==9.0.1
-   || ==9.2.1
+   || ==8.10.7
+   || ==9.0.2
+   || ==9.2.4
+   || ==9.4.1
 
 source-repository head
   type:     git
@@ -65,7 +67,7 @@ library
 
   other-modules:    TrustworthyCompat
   build-depends:
-    , base        >=4.7     && <4.17
+    , base        >=4.7     && <4.18
     , boring      ^>=0.2
     , dec         ^>=0.0.3
     , deepseq     >=1.3.0.2 && <1.5
diff --git a/fin/fin.cabal b/fin/fin.cabal
@@ -1,6 +1,7 @@
 cabal-version:      >=1.10
 name:               fin
 version:            0.2.1
+x-revision:         1
 synopsis:           Nat and Fin: peano naturals and finite numbers
 category:           Data, Dependent Types, Singletons, Math
 description:
@@ -63,9 +64,10 @@ tested-with:
    || ==8.4.4
    || ==8.6.5
    || ==8.8.4
-   || ==8.10.4
-   || ==9.0.1
-   || ==9.2.1
+   || ==8.10.7
+   || ==9.0.2
+   || ==9.2.4
+   || ==9.4.1
 
 source-repository head
   type:     git
@@ -87,7 +89,7 @@ library
 
   other-modules:    TrustworthyCompat
   build-depends:
-      base           >=4.7     && <4.17
+      base           >=4.7     && <4.18
     , boring         >=0.2     && <0.3
     , dec            >=0.0.4   && <0.1
     , deepseq        >=1.3.0.2 && <1.5
@@ -126,7 +128,7 @@ test-suite inspection
   build-depends:
       base
     , fin
-    , inspection-testing  >=0.2.0.1 && <0.5
+    , inspection-testing  >=0.2.0.1 && <0.6
     , tagged
 
   if !impl(ghc >=8.0)
diff --git a/ral-lens/ral-lens.cabal b/ral-lens/ral-lens.cabal
@@ -1,7 +1,7 @@
 cabal-version:      2.2
 name:               ral-lens
 version:            0.2
-x-revision:         1
+x-revision:         2
 synopsis:           Length-indexed random access lists: lens utilities.
 category:           Data, Dependent Types, Singletons, Lens
 description:
@@ -25,9 +25,10 @@ tested-with:
    || ==8.4.4
    || ==8.6.5
    || ==8.8.4
-   || ==8.10.4
-   || ==9.0.1
-   || ==9.2.1
+   || ==8.10.7
+   || ==9.0.2
+   || ==9.2.4
+   || ==9.4.1
 
 source-repository head
   type:     git
@@ -47,10 +48,10 @@ library
     Data.RAVec.Tree.Lens
 
   build-depends:
-    , base  >=4.7   && <4.17
+    , base  >=4.7   && <4.18
     , bin   ^>=0.1
     , fin   ^>=0.2
-    , lens  >=4.16  && <5.2
+    , lens  >=4.16  && <5.3
     , ral   ^>=0.2
 
 -- dump-core
diff --git a/ral-optics/ral-optics.cabal b/ral-optics/ral-optics.cabal
@@ -1,7 +1,7 @@
 cabal-version:      2.2
 name:               ral-optics
 version:            0.2
-x-revision:         1
+x-revision:         2
 synopsis:           Length-indexed random access lists: optics utilities.
 category:           Data, Dependent Types, Singletons, Optics
 description:
@@ -23,9 +23,10 @@ tested-with:
    || ==8.4.4
    || ==8.6.5
    || ==8.8.4
-   || ==8.10.4
-   || ==9.0.1
-   || ==9.2.1
+   || ==8.10.7
+   || ==9.0.2
+   || ==9.2.4
+   || ==9.4.1
 
 source-repository head
   type:     git
@@ -49,7 +50,7 @@ library
     Data.RAVec.NonEmpty.Optics.Internal
 
   build-depends:
-    , base         >=4.9 && <4.17
+    , base         >=4.9 && <4.18
     , bin          ^>=0.1
     , fin          ^>=0.2
     , optics-core  >=0.2 && <0.5
diff --git a/ral/ral.cabal b/ral/ral.cabal
@@ -1,6 +1,7 @@
 cabal-version:      2.2
 name:               ral
 version:            0.2.1
+x-revision:         1
 synopsis:           Random access lists
 category:           Data, Dependent Types, Singletons
 description:
@@ -36,9 +37,10 @@ tested-with:
    || ==8.4.4
    || ==8.6.5
    || ==8.8.4
-   || ==8.10.4
-   || ==9.0.1
-   || ==9.2.1
+   || ==8.10.7
+   || ==9.0.2
+   || ==9.2.4
+   || ==9.4.1
 
 source-repository head
   type:     git
@@ -85,7 +87,7 @@ library
 
   -- GHC boot libs
   build-depends:
-    , base     >=4.7     && <4.17
+    , base     >=4.7     && <4.18
     , deepseq  >=1.3.0.1 && <1.5
 
   if !impl(ghc >=8.0)
diff --git a/tests/tests.cabal b/tests/tests.cabal
@@ -20,9 +20,10 @@ tested-with:
    || ==8.4.4
    || ==8.6.5
    || ==8.8.4
-   || ==8.10.4
-   || ==9.0.1
-   || ==9.2.1
+   || ==8.10.7
+   || ==9.0.2
+   || ==9.2.4
+   || ==9.4.1
 
 source-repository head
   type:     git
diff --git a/vec-lens/vec-lens.cabal b/vec-lens/vec-lens.cabal
@@ -1,7 +1,7 @@
 cabal-version:      2.2
 name:               vec-lens
 version:            0.4
-x-revision:         1
+x-revision:         2
 synopsis:           Vec: length-indexed (sized) list: lens support
 category:           Data, Dependent Types, Lens
 description:
@@ -28,9 +28,10 @@ tested-with:
    || ==8.4.4
    || ==8.6.5
    || ==8.8.4
-   || ==8.10.4
-   || ==9.0.1
-   || ==9.2.1
+   || ==8.10.7
+   || ==9.0.2
+   || ==9.2.4
+   || ==9.4.1
 
 source-repository head
   type:     git
@@ -49,15 +50,15 @@ library
     Data.Vec.Pull.Lens
 
   -- GHC boot libs
-  build-depends:    base >=4.7 && <4.17
+  build-depends:    base >=4.7 && <4.18
 
   -- siblings
   build-depends:
     , fin  ^>=0.2
     , vec  ^>=0.4
 
   -- other dependencies
-  build-depends:    lens ^>=4.18.1 || ^>=4.19.1 || ^>=5 || ^>=5.1
+  build-depends:    lens ^>=4.18.1 || ^>=4.19.1 || ^>=5 || ^>=5.1 || ^>=5.2
   other-extensions:
     CPP
     FlexibleContexts
diff --git a/vec-optics/vec-optics.cabal b/vec-optics/vec-optics.cabal
@@ -1,7 +1,7 @@
 cabal-version:      2.2
 name:               vec-optics
 version:            0.4
-x-revision:         1
+x-revision:         2
 synopsis:           Vec: length-indexed (sized) list: optics support
 category:           Data, Dependent Types, Optics
 description:
@@ -26,9 +26,10 @@ tested-with:
    || ==8.4.4
    || ==8.6.5
    || ==8.8.4
-   || ==8.10.4
-   || ==9.0.1
-   || ==9.2.1
+   || ==8.10.7
+   || ==9.0.2
+   || ==9.2.4
+   || ==9.4.1
 
 source-repository head
   type:     git
@@ -47,7 +48,7 @@ library
     Data.Vec.Pull.Optics
 
   -- GHC boot libs
-  build-depends:    base >=4.9 && <4.17
+  build-depends:    base >=4.9 && <4.18
 
   -- siblings
   build-depends:
diff --git a/vec/vec.cabal b/vec/vec.cabal
@@ -1,6 +1,7 @@
 cabal-version:      2.2
 name:               vec
 version:            0.4.1
+x-revision:         1
 synopsis:           Vec: length-indexed (sized) list
 category:           Data, Dependent Types
 description:
@@ -77,9 +78,10 @@ tested-with:
    || ==8.4.4
    || ==8.6.5
    || ==8.8.4
-   || ==8.10.4
-   || ==9.0.1
-   || ==9.2.1
+   || ==8.10.7
+   || ==9.0.2
+   || ==9.2.4
+   || ==9.4.1
 
 source-repository head
   type:     git
@@ -123,7 +125,7 @@ library
 
   -- GHC boot libs
   build-depends:
-    , base          >=4.7     && <4.17
+    , base          >=4.7     && <4.18
     , deepseq       >=1.3.0.1 && <1.5
     , transformers  >=0.3.0.0 && <0.7
 
