Merge branch 'release-4.8'. Close #745.

**Description**

Version 4.8 of Copilot should be closed and published on Hackage.

**Type**

- Management: release and publication.

**Additional context**

None.

**Requester**

- Ivan Perez.

**Method to check presence of bug**

Not applicable (not a bug).

**Expected result**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
  published on hackage.

The following docker image installs all Copilot libraries enforcing the
new version via compiler constraints. Packages not currently listed
under the cabal.project file are also included. It prints the message
"Success" at the end if all completes correctly, and shows an error
message otherwise.

```Dockerfile
FROM ubuntu:noble

ENV DEBIAN_FRONTEND=noninteractive

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

RUN apt-get update

RUN apt-get install --yes \
  build-essential \
  curl \
  git \
  libffi-dev \
  libgmp3-dev \
  libncurses-dev \
  libz-dev \
  pkg-config \
  wget

RUN mkdir -p $HOME/.ghcup/bin
RUN curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_HASKELL_MINIMAL=1 BOOTSTRAP_HASKELL_NONINTERACTIVE=1 sh

ENV PATH=$PATH:/root/.ghcup/bin/
RUN ghcup install ghc 9.8
RUN ghcup install cabal 3.16
RUN ghcup set ghc 9.8.4

RUN cabal update
ENV PATH=$PATH:/root/.cabal/bin/

CMD git clone $REPO \
    && cd $NAME \
    && git checkout $COMMIT \
    && echo "  copilot-verifier/copilot-verifier.cabal" >> cabal.project \
    && echo "  copilot-visualizer/copilot-visualizer.cabal" >> cabal.project \
    && cabal install \
         --package-env . \
         --lib \
         --constraint="copilot==4.8" \
         --constraint="copilot-bluespec==4.8" \
         --constraint="copilot-c99==4.8" \
         --constraint="copilot-core==4.8" \
         --constraint="copilot-prettyprinter==4.8" \
         --constraint="copilot-interpreter==4.8" \
         --constraint="copilot-language==4.8" \
         --constraint="copilot-libraries==4.8" \
         --constraint="copilot-theorem==4.8" \
         --constraint="copilot-verifier==4.8" \
         --constraint="copilot-visualizer==4.8" \
         copilot**/ \
    && 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-745
```

**Solution implemented**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
published on hackage.

**Further notes**

None.

Author: ivanperez-keera

copilot-bluespec/CHANGELOG

@@ -1,3 +1,6 @@
+2026-07-07
+        * Version bump (4.8). (#745)
+
 2026-05-07
         * Version bump (4.7.1). (#730)
         * Fix translation of special Float values to Bluespec. (#697)

copilot-bluespec/copilot-bluespec.cabal

@@ -1,6 +1,6 @@
 cabal-version             : >= 1.10
 name                      : copilot-bluespec
-version                   : 4.7.1
+version                   : 4.8
 synopsis                  : A compiler for Copilot targeting FPGAs.
 description               :
   This package is a back-end from Copilot to FPGAs in Bluespec.
@@ -51,8 +51,8 @@ library
                           , ieee754           >= 0.8.0  && < 0.9
                           , pretty            >= 1.1.2  && < 1.2
 
-                          , copilot-core      >= 4.7.1 && < 4.8
-                          , language-bluespec >= 0.1   && < 0.2
+                          , copilot-core      >= 4.8 && < 4.9
+                          , language-bluespec >= 0.1 && < 0.2
 
   exposed-modules         : Copilot.Compile.Bluespec
 

copilot-c99/CHANGELOG

@@ -1,3 +1,6 @@
+2026-07-07
+        * Version bump (4.8). (#745)
+
 2026-05-07
         * Version bump (4.7.1). (#730)
 

copilot-c99/copilot-c99.cabal

@@ -1,6 +1,6 @@
 cabal-version             : >= 1.10
 name                      : copilot-c99
-version                   : 4.7.1
+version                   : 4.8
 synopsis                  : A compiler for Copilot targeting C99.
 description               :
   This package is a back-end from Copilot to C.
@@ -45,7 +45,7 @@ library
                           , mtl                 >= 2.2 && < 2.4
                           , pretty              >= 1.1 && < 1.2
 
-                          , copilot-core        >= 4.7.1 && < 4.8
+                          , copilot-core        >= 4.8 && < 4.9
                           , language-c99        >= 0.2.0 && < 0.3
                           , language-c99-simple >= 0.3   && < 0.4
 

copilot-core/CHANGELOG

@@ -1,3 +1,6 @@
+2026-07-07
+        * Version bump (4.8). (#745)
+
 2026-05-07
         * Version bump (4.7.1). (#730)
 

copilot-core/copilot-core.cabal

@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-core
-version:             4.7.1
+version:             4.8
 synopsis:            An intermediate representation for Copilot.
 description:
   Intermediate representation for Copilot.

copilot-interpreter/CHANGELOG

@@ -1,3 +1,6 @@
+2026-07-07
+        * Version bump (4.8). (#745)
+
 2026-05-07
         * Version bump (4.7.1). (#730)
 

copilot-interpreter/copilot-interpreter.cabal

@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-interpreter
-version:             4.7.1
+version:             4.8
 synopsis:            Interpreter for Copilot.
 description:
   Interpreter for Copilot.
@@ -44,7 +44,7 @@ library
     base       >= 4.9 && < 5,
     pretty     >= 1.0 && < 1.2,
 
-    copilot-core >= 4.7.1 && < 4.8
+    copilot-core >= 4.8 && < 4.9
 
   exposed-modules:
 

copilot-language/CHANGELOG

@@ -1,3 +1,6 @@
+2026-07-07
+        * Version bump (4.8). (#745)
+
 2026-05-07
         * Version bump (4.7.1). (#730)
 

copilot-language/copilot-language.cabal

@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-language
-version:             4.7.1
+version:             4.8
 synopsis:            A Haskell-embedded DSL for monitoring hard real-time
                      distributed systems.
 description:
@@ -42,9 +42,9 @@ library
                , data-reify            >= 0.6  && < 0.7
                , mtl                   >= 2.0  && < 3
 
-               , copilot-core          >= 4.7.1 && < 4.8
-               , copilot-interpreter   >= 4.7.1 && < 4.8
-               , copilot-theorem       >= 4.7.1 && < 4.8
+               , copilot-core          >= 4.8 && < 4.9
+               , copilot-interpreter   >= 4.8 && < 4.9
+               , copilot-theorem       >= 4.8 && < 4.9
 
   exposed-modules: Copilot.Language
                  , Copilot.Language.Operators.BitWise