copilot-visualizer: Extend range of versions of ogma-extra

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. The package ogma-extra has seen release 1.15 and will soon see release 1.16, but copilot-visualizer depends on versions prior to 1.13.

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

The copilot-visualizer can be installed with the most recent version of ogma-extra published on hackage that do not require a change to the Haskell code, as well as the upcoming version.

Desired result

The copilot-visualizer can be installed with the most recent version of ogma-extra published on hackage that do not require a change to the Haskell code, as well as the upcoming version.

Proposed solution

Bump version bounds on ogma-extra.

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

Fix assigned to: @ivanperez-keera .

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/278782494

The solution proposed produces the expected result. Details:
The following Dockerfile installs Copilot, including the copilot-visualizer, and enforcing the version of ogma-extra to be 1.15.0, the latest version currently available on Hackage, after which it prints the message "Success":

--- Dockerfile-verify-757
FROM ubuntu:jammy

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

ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update

RUN apt-get install --yes \
      libz-dev \
      git \
      curl \
      gcc \
      g++ \
      make \
      libgmp3-dev  \
      pkg-config \
      z3

RUN mkdir -p $HOME/.ghcup/bin
RUN curl https://downloads.haskell.org/~ghcup/0.1.40.0/x86_64-linux-ghcup-0.1.40.0 -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 ghcup install ghc 9.8.4
RUN ghcup install cabal 3.2
RUN ghcup set ghc 9.8.4
RUN cabal user-config init
RUN sed -i -e "s;-- \(secure.\) True;\1 False;g" /root/.cabal/config
RUN cabal update

ARG GIT_COMMIT=HEAD
ARG NAME=copilot
ARG REPO=https://github.com/copilot-language/copilot

RUN git clone ${REPO} ${NAME}
RUN cd ${NAME} && git checkout ${GIT_COMMIT}

WORKDIR ${NAME}

RUN cabal v1-sandbox init
RUN cabal v1-install alex happy
RUN cabal v1-install \
            copilot/ \
            copilot-c99/ \
            copilot-core/ \
            copilot-prettyprinter/ \
            copilot-interpreter/ \
            copilot-language/ \
            copilot-libraries/ \
            copilot-theorem/ \
            copilot-visualizer/ \
         --constraint="ogma-extra>=1.15"

RUN echo "Success"

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

$ docker build --build-arg "REPO=https://github.com/ivanperez-keera/copilot" --build-arg "NAME=copilot" --build-arg "GIT_COMMIT=0743773609d47c3a0070e627239c5596ccd2f2d8" -t copilot-verify-757 -f Dockerfile-verify-757 .

Implementation is documented. Details:
No updates needed; change is to version numbers in Cabal file and does not affect existing code.
Change history is clear.
Commit messages are clear.
Changelogs are updated.
Examples are updated. Details:
No updates needed; change is to version numbers in Cabal file and does not affect existing examples.
Author is internal or has provided signed CLA.
Required version bumps are evaluated. Details:
Bump not needed; change is to version numbers in Cabal file and does not affect existing code or its public API.

Change Manager: Implementation ready to be merged.

copilot-visualizer: Relax version constraints on `ogma-extra`. Refs #757

copilot-visualizer: Document changes in CHANGELOG. Refs #757.

Merge branch 'develop-ogma-extra'. Close Copilot-Language#757.

Navigation Menu

Repository navigation

`copilot-visualizer`: Extend range of versions of `ogma-extra` #757

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

copilot-visualizer: Extend range of versions of ogma-extra #757

Description

Activity

ivanperez-keera commented on Sep 8, 2026

ivanperez-keera commented on Sep 8, 2026

ivanperez-keera commented on Sep 8, 2026

ivanperez-keera commented on Sep 8, 2026

ivanperez-keera commented on Sep 8, 2026

ivanperez-keera commented on Sep 8, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

`copilot-visualizer`: Extend range of versions of `ogma-extra` #757