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.7, but copilot-visualizer depend on versions prior to 1.7.

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.

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.

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

Fix assigned to: @ivanperez-keera .

EDIT: Milestone renamed from 4.6 to 4.5.1.

copilot-visualizer: Relax version constraint on `ogma-extra`. Refs Co…

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

Implementor: Solution implemented, review requested.

copilot-visualizer: Relax version constraint on `ogma-extra`. Refs Co…

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

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

The solution proposed produces the expected result. Details:
The following Dockerfile installs copilot forcing the version of ogma-extra to be greater than or equal to 1.9, after which it prints the message "Success":

FROM ubuntu:jammy

ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update

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

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/

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

RUN ghcup install ghc 9.8.4
RUN ghcup install cabal 3.2
RUN ghcup set ghc 9.8.4
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 --constraint='ogma-extra >= 1.9' \
                      $NAME/copilot/ \
                      $NAME/copilot-bluespec/ \
                      $NAME/copilot-c99/ \
                      $NAME/copilot-core/ \
                      $NAME/copilot-prettyprinter/ \
                      $NAME/copilot-interpreter/ \
                      $NAME/copilot-language/ \
                      $NAME/copilot-libraries/ \
                      $NAME/copilot-theorem/ \
                      $NAME/copilot-verifier/ \
                      $NAME/copilot-visualizer/ \
  && 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=7f6042049506600a59edcb153cf532dee64fd154 copilot-verify-645

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-bump-ogma-extra'. Close Copilot-Language#645.

Navigation Menu

Repository navigation

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

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

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

Description

Activity

ivanperez-keera commented on Aug 12, 2025

ivanperez-keera commented on Aug 12, 2025

ivanperez-keera commented on Sep 1, 2025

ivanperez-keera commented on Sep 1, 2025

ivanperez-keera commented on Sep 7, 2025

ivanperez-keera commented on Sep 7, 2025

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

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