Skip to content

copilot-visualizer: Cabal file indicates inconsistent version bounds for copilot #749

Description

@ivanperez-keera

Description

The cabal file of copilot-visualizer lists inconsistent version bounds for the package copilot. Specifically, it depends on copilot versions from 4.8 to, but not including, 4.9 for the visualizer library, and from 4.7 up to, but not including, 4.8 for the gui-example executable. This prevents the example from being compiled against the same version of the library.

Type

  • Bug: Cabal file lists incompatible version range for the same dependency.

Additional context

None.

Requester

  • Ivan Perez.

Method to check presence of bug

Attempting to install the package with the examples enabled results in an error message due to not being able to meet the dependencies.

$ cabal v1-install -fexamples --dry-run copilot-visualizer/
Resolving dependencies...
cabal: Could not resolve dependencies:
[__0] trying: copilot-4.7.1/installed-J7d... (user goal)
[__1] next goal: copilot-visualizer (user goal)
[__1] rejecting: copilot-visualizer-4.8 (conflict:
copilot==4.7.1/installed-J7d..., copilot-visualizer => copilot>=4.8 && <4.9)
[__1] rejecting: copilot-visualizer-4.7.1, copilot-visualizer-4.7,
copilot-visualizer-4.6.1, copilot-visualizer-4.6, copilot-visualizer-4.5.1,
copilot-visualizer-4.5 (constraint from user target requires ==4.8)
[__1] fail (backjumping, conflict set: copilot, copilot-visualizer)
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: copilot-visualizer, copilot,
copilot-visualizer:examples
Note: when using a sandbox, all packages are required to have consistent
dependencies. Try reinstalling/unregistering the offending packages or
recreating the sandbox.

Expected result

The package can be installed correctly with the examples flag enabled.

Desired result

The package can be installed correctly with the examples flag enabled.

Proposed solution

Bump the version numbers of copilot used in the examples to match the library.

Further notes

None.

Metadata

Metadata

Labels

CR:Status:ImplementationAdmin only: Change request that is currently being implementedCR:Type:BugAdmin only: Change request pertaining to error detected

Type

No type

Projects

No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions