Extend range of versions of dependencies

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, ogma-extra has seen release 1.12, but copilot-visualizer needs versions strictly lower than 1.10.

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

Ivan Perez.

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.

Desired 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.

Proposed solution

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.

Further notes

None.

Change Manager: Confirmed that the issue exists.

Technical Lead: Confirmed that the issue should be addressed.

@ivanperez-keera

Technical Lead: Issue scheduled for fixing in Copilot 4.7.

Fix assigned to: @ivanperez-keera .

copilot-verifier: Relax version constraints on what4. Refs Copilot-La…

copilot-visualizer: Relax version constraints on ogma-extra. Refs Cop…

copilot-verifier: Document changes in CHANGELOG. Refs Copilot-Languag…

copilot-visualizer: Document changes in CHANGELOG. Refs Copilot-Langu…

Implementor: Solution implemented, review requested.

Change Manager: Verified that:

Solution is implemented:

The code proposed compiles and passes all tests. Details:
Build log: https://app.travis-ci.com/github/Copilot-Language/copilot/builds/277634017

The solution proposed produces the expected result. Details:
The following Dockerfile installs all Copilot libraries forcing the version of what4 and ogma-extra to be the latest major currently available, after which it prints the message "Success".

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 --lib \
            copilot/ \
            copilot-bluespec/ \
            copilot-c99/ \
            copilot-core/ \
            copilot-prettyprinter/ \
            copilot-interpreter/ \
            copilot-language/ \
            copilot-libraries/ \
            copilot-theorem/ \
            copilot-verifier/ \
            copilot-visualizer/ \
         --constraint="ogma-extra>=1.12" \
         --constraint="what4>=1.7" \
    && echo Success

Command (substitute variables based on new path after merge):

$ docker run -e REPO=https://github.com/ivanperez-keera/copilot -e NAME=copilot -e COMMIT=e3a02223f273ae89b6616fac7c4ac33994346be8 copilot-verify-716

Implementation is documented. Details:
No updates needed; change is to the dependencies.
Change history is clear.
Commit messages are clear.
Changelogs are updated.
Examples are updated. Details:
No updates needed; change is to the dependencies.
Author is internal or has provided signed CLA.
Required version bumps are evaluated. Details:
Bump not needed; relaxes version constraints but does not affect Copilot's public API.

Change Manager: Implementation ready to be merged.

Merge branch 'develop-versions-dependencies'. Close Copilot-Language#716

Navigation Menu

Repository navigation

Extend range of versions of dependencies #716

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Extend range of versions of dependencies #716

Description

Activity

ivanperez-keera commented on Mar 8, 2026

ivanperez-keera commented on Mar 8, 2026

ivanperez-keera commented on Mar 8, 2026

ivanperez-keera commented on Mar 8, 2026

ivanperez-keera commented on Mar 8, 2026

ivanperez-keera commented on Mar 8, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions