copilot icon indicating copy to clipboard operation
copilot copied to clipboard

Extend range of versions of dependencies

Open ivanperez-keera opened this issue 10 months ago • 3 comments

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 avatar Mar 07 '25 18:03 ivanperez-keera

Change Manager: Confirmed that the issue exists.

ivanperez-keera avatar Mar 07 '25 18:03 ivanperez-keera

Technical Lead: Confirmed that the issue should be addressed.

ivanperez-keera avatar Mar 07 '25 18:03 ivanperez-keera

Copying this here from current Stackage Nightly build-constraints (we just moved to ghc-9.12):

  • copilot < 0 # tried copilot-4.5, but its library requires optparse-applicative >=0.14 && < 0.19 and the snapshot contains optparse-applicative-0.19.0.0
  • copilot-language < 0 # tried copilot-language-4.5, but its library requires the disabled package: copilot-theorem
  • copilot-libraries < 0 # tried copilot-libraries-4.5, but its library requires the disabled package: copilot-language
  • copilot-theorem < 0 # tried copilot-theorem-4.5, but its library requires random >=1.1 && < 1.3 and the snapshot contains random-1.3.1

juhp avatar Jul 20 '25 14:07 juhp