Merge remote-tracking branch 'kaBeech/develop-version-bounds'. Close #570.

**Description**

In order to keep Copilot effectively working in the current Haskell ecosystem,
as well as new versions of GHC, we need to extend the versions of dependencies
that Copilot can be installed with. For example, `filepath` has seen releases
in the 1.5.* series, but `copilot` and `copilot-c99` need versions strictly
lower than 1.5. The same is true for `containers`, of which we depend on
versions prior to 0.7 but version 0.7 has been released, and `data-default`, of
which we depend on versions prior to 0.8 but version 0.8.0.0 has been released.

For those libraries that have introduced no breaking changes affecting Copilot,
we should extend the version bounds.

**Type**

- Management: update versions of dependencies.

**Additional context**

None.

**Requester**

- Jens Petersen.

**Method to check presence of bug**

Not applicable (not a bug).

**Expected result**

Copilot can be installed with the most recent version of all dependencies
published on hackage that do not require a change to the Haskell code.

The following Dockerfile checks that Copilot can be installed with the recent
versions of filepath, containers and data-default, as well as GHC (9.10 since
9.12 is not currently available in GHCUP), after which it prints the message
"Success":

```Dockerfile
FROM ubuntu:focal

ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update

RUN apt-get install --yes libz-dev
RUN apt-get install --yes git

RUN apt-get install --yes wget
RUN mkdir -p $HOME/.ghcup/bin
RUN wget https://downloads.haskell.org/~ghcup/0.1.19.2/x86_64-linux-ghcup-0.1.19.2 -O $HOME/.ghcup/bin/ghcup

RUN chmod a+x $HOME/.ghcup/bin/ghcup
ENV PATH=$PATH:/root/.ghcup/bin/
ENV PATH=$PATH:/root/.cabal/bin/
RUN apt-get install --yes curl
RUN apt-get install --yes gcc g++ make libgmp3-dev
RUN apt-get install --yes pkg-config

SHELL ["/bin/bash", "-c"]

RUN ghcup install ghc 9.10
RUN ghcup install cabal 3.2
RUN ghcup set ghc 9.10
RUN cabal update

SHELL ["/bin/bash", "-c"]
CMD git clone $REPO && cd $NAME && git checkout $COMMIT && cd .. \
  && cabal v1-sandbox init \
  && cabal v1-install alex happy --constraint='happy <= 2' \
  && cabal v1-install $NAME/copilot**/ --constraint='filepath>=1.5' --constraint='containers>=0.7' --constraint='data-default>=0.8'  \
  && echo "Success"
```

Command (substitute variables based on new path after merge):
```
$ docker run -e "REPO=https://github.com/Copilot-Language/copilot" -e "NAME=copilot" -e "COMMIT=<HASH>" -it copilot-verify-570
```

**Solution implemented**

Bump the version constraints on filepath, containers and data-default to
include the latest versions available on hackage.

**Further notes**

These issues have made Copilot drop out of GHC 9.10 Stackage Nightly. Stackage
is generally useful to get Copilot installed, and specially to facilitate
having packages on Fedora.

Author: ivanperez-keera

copilot-c99/CHANGELOG

@@ -1,6 +1,7 @@
-2024-12-20
+2025-01-02
         * Remove uses of Copilot.Core.Expr.UExpr.uExprType. (#565)
         * Allow using same trigger name in multiple declarations. (#296)
+        * Bump upper version constraint on filepath. (#570)
 
 2024-11-07
         * Version bump (4.1). (#561)

copilot-c99/copilot-c99.cabal

@@ -41,7 +41,7 @@ library
   ghc-options             : -Wall
   build-depends           : base                >= 4.9 && < 5
                           , directory           >= 1.3 && < 1.4
-                          , filepath            >= 1.4 && < 1.5
+                          , filepath            >= 1.4 && < 1.6
                           , mtl                 >= 2.2 && < 2.4
                           , pretty              >= 1.1 && < 1.2
 

copilot-language/CHANGELOG

@@ -1,3 +1,6 @@
+2025-01-02
+        * Bump upper version constraint on containers. (#570)
+
 2024-11-07
         * Version bump (4.1). (#561)
         * Reject duplicate externs in properties and theorems. (#536)

copilot-language/copilot-language.cabal

@@ -38,7 +38,7 @@ library
   build-depends: base                  >= 4.9  && < 5
 
                , array                 >= 0.5  && < 0.6
-               , containers            >= 0.4  && < 0.7
+               , containers            >= 0.4  && < 0.8
                , data-reify            >= 0.6  && < 0.7
                , mtl                   >= 2.0  && < 3
 

copilot-libraries/CHANGELOG

@@ -1,3 +1,6 @@
+2025-01-02
+        * Bump upper version constraint on containers. (#570)
+
 2024-11-07
         * Version bump (4.1). (#561)
         * Standardize changelog format. (#550)

copilot-libraries/copilot-libraries.cabal

@@ -38,7 +38,7 @@ library
 
   build-depends: base             >= 4.9 && < 5
 
-               , containers       >= 0.4 && < 0.7
+               , containers       >= 0.4 && < 0.8
                , mtl              >= 2.0 && < 2.4
                , parsec           >= 2.0 && < 3.2
                , copilot-language >= 4.1 && < 4.2

copilot-theorem/CHANGELOG

@@ -1,5 +1,6 @@
-2024-11-15
+2025-01-02
         * Remove uses of Copilot.Core.Expr.UExpr.uExprType,uExprExpr. (#565)
+        * Bump upper constraint on containers, data-default. (#570)
 
 2024-11-07
         * Version bump (4.1). (#561)

copilot-theorem/copilot-theorem.cabal

@@ -48,8 +48,8 @@ library
   build-depends           : base                  >= 4.9 && < 5
                           , bimap                 (>= 0.3 && < 0.4) || (>= 0.5 && < 0.6)
                           , bv-sized              >= 1.0.2 && < 1.1
-                          , containers            >= 0.4 && < 0.7
-                          , data-default          >= 0.7 && < 0.8
+                          , containers            >= 0.4 && < 0.8
+                          , data-default          >= 0.7 && < 0.9
                           , directory             >= 1.3 && < 1.4
                           , libBF                 >= 0.6.2 && < 0.7
                           , mtl                   >= 2.0 && < 2.4

copilot/CHANGELOG

@@ -1,3 +1,6 @@
+2025-01-02
+        * Bump upper version constraint on filepath. (#570)
+
 2024-11-07
         * Version bump (4.1). (#561)
         * Update contribution guidelines. (#476)

copilot/copilot.cabal

@@ -50,7 +50,7 @@ library
                        base                  >= 4.9  && < 5
                      , optparse-applicative  >= 0.14 && < 0.19
                      , directory             >= 1.3  && < 1.4
-                     , filepath              >= 1.4  && < 1.5
+                     , filepath              >= 1.4  && < 1.6
 
                      , copilot-core          >= 4.1 && < 4.2
                      , copilot-theorem       >= 4.1 && < 4.2