Skip to content

copilot-theorem: Extend range of versions of what4 #611

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
ivanperez-keera opened this issue Mar 29, 2025 · 2 comments
Open

copilot-theorem: Extend range of versions of what4 #611

ivanperez-keera opened this issue Mar 29, 2025 · 2 comments
Labels
CR:Status:Accepted Admin only: Change request accepted by technical lead CR:Type:Management Admin only: Change request for conformance with policies or procedures

Comments

@ivanperez-keera
Copy link
Member

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 what4 has seen release 1.7, but we 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

Copilot can be installed with the most recent version of what4 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 what4 published on hackage that do not require a change to the Haskell code.

Proposed solution

Bump version bounds on what4.

Further notes

None.
@ivanperez-keera ivanperez-keera added CR:Status:Initiated Admin only: Change request that has been initiated CR:Type:Management Admin only: Change request for conformance with policies or procedures labels Mar 29, 2025
@ivanperez-keera
Copy link
Member Author

Change Manager: Confirmed that the issue exists.

@ivanperez-keera ivanperez-keera added CR:Status:Confirmed Admin only: Change request that has been acknowledged by the change manager and removed CR:Status:Initiated Admin only: Change request that has been initiated labels Mar 29, 2025
@ivanperez-keera
Copy link
Member Author

Technical Lead: Confirmed that the issue should be addressed.

@ivanperez-keera ivanperez-keera added CR:Status:Accepted Admin only: Change request accepted by technical lead and removed CR:Status:Confirmed Admin only: Change request that has been acknowledged by the change manager labels Mar 29, 2025
@ivanperez-keera ivanperez-keera mentioned this issue Mar 29, 2025
Open
@ivanperez-keera ivanperez-keera changed the title Extend range of versions of what4 copilot-theorem: Extend range of versions of what4 Mar 29, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
CR:Status:Accepted Admin only: Change request accepted by technical lead CR:Type:Management Admin only: Change request for conformance with policies or procedures
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ivanperez-keera