Skip to content

Extend range of versions of dependencies #603

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.

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

Open
ivanperez-keera opened this issue Mar 7, 2025 · 2 comments
Open

Extend range of versions of dependencies #603

ivanperez-keera opened this issue Mar 7, 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. For example, containers has seen release 0.8, but copilot-language, copilot-libraries and copilot-theorem need versions strictly lower than 0.8. The same is true for random, of which we depend on versions prior to 1.3 but version 1.3 has been released.

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.

@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 7, 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 7, 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 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
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
Development

No branches or pull requests

1 participant