Skip to content

Solver "rejecting" message is too verbose #4251

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
ezyang opened this issue Jan 20, 2017 · 3 comments · May be fixed by #10854
Open

Solver "rejecting" message is too verbose #4251

ezyang opened this issue Jan 20, 2017 · 3 comments · May be fixed by #10854
Labels
cabal-install: solver type: enhancement

Comments

@ezyang
Copy link
Contributor

ezyang commented Jan 20, 2017

I recently ran into a solver error which was due to my index not being sufficiently up to date (I had updated a Git checkout which specified a bound requiring a version of a package which did not exist at all). Here's the message I got:

cabal: Could not resolve dependencies:
trying: cabal-testsuite-1.25.0.0 (user goal)
next goal: aeson (dependency of cabal-testsuite-1.25.0.0)
rejecting: aeson-1.0.2.1, aeson-1.0.2.0, aeson-1.0.1.0, aeson-1.0.0.0,
aeson-0.11.2.1, aeson-0.11.2.0, aeson-0.11.1.4, aeson-0.11.1.3,
aeson-0.11.1.2, aeson-0.11.1.1, aeson-0.11.1.0, aeson-0.11.0.0, aeson-0.9.0.1,
aeson-0.9.0.0, aeson-0.8.1.1, aeson-0.8.1.0, aeson-0.8.0.2, aeson-0.7.0.6,
aeson-0.7.0.4, aeson-0.6.2.1, aeson-0.6.2.0, aeson-0.6.1.0, aeson-0.6.0.2,
aeson-0.6.0.1, aeson-0.6.0.0, aeson-0.5.0.0, aeson-0.4.0.1, aeson-0.4.0.0,
aeson-0.3.2.14, aeson-0.3.2.13, aeson-0.3.2.12, aeson-0.3.2.11,
aeson-0.3.2.10, aeson-0.3.2.9, aeson-0.3.2.8, aeson-0.3.2.7, aeson-0.3.2.6,
aeson-0.3.2.5, aeson-0.3.2.4, aeson-0.3.2.3, aeson-0.3.2.2, aeson-0.3.2.1,
aeson-0.3.2.0, aeson-0.3.1.1, aeson-0.3.1.0, aeson-0.3.0.0, aeson-0.2.0.0,
aeson-0.1.0.0, aeson-0.10.0.0, aeson-0.8.0.1, aeson-0.8.0.0, aeson-0.7.0.5,
aeson-0.7.0.3, aeson-0.7.0.2, aeson-0.7.0.1, aeson-0.7.0.0 (conflict:
cabal-testsuite => aeson==1.1.*)
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: cabal-testsuite (65), aeson (57)

In terms of "information communicated to me", this is totally backwards. Here are the important pieces of information I want to know:

  • What my constraint is, and where it came from (cabal-testsuite => aeson==1.1.*)
  • That there doesn't exist any version of aeson which fulfills this constraint. I don't need a list of every version in the index
@23Skidoo
Copy link
Member

/cc @grayjay @kosmikus

@grayjay grayjay mentioned this issue Feb 26, 2017
Closed
@grayjay
Copy link
Collaborator

grayjay commented Feb 26, 2017

This issue is related to #4328. I think we should continue printing all rejected versions in the -v3 log but try to summarize the message further in the short log. We could also improve the -v3 log by only printing "aeson" once.

@grayjay grayjay mentioned this issue Sep 8, 2018
Closed
@grayjay grayjay mentioned this issue May 7, 2023
Open
@grayjay grayjay mentioned this issue May 18, 2023
Open
yvan-sraka added a commit to yvan-sraka/cabal that referenced this issue Jul 24, 2023
@yvan-sraka
[WIP] Fixes haskell#4251: Solver "rejecting" message is too verbose
438cda1
yvan-sraka added a commit to yvan-sraka/cabal that referenced this issue Jul 24, 2023
@yvan-sraka
[WIP] Fixes haskell#4251: Solver "rejecting" message is too verbose
8aa4f38
yvan-sraka added a commit to yvan-sraka/cabal that referenced this issue Jul 25, 2023
@yvan-sraka
[WIP] Fixes haskell#4251: Solver "rejecting" message is too verbose
796241d
yvan-sraka added a commit to yvan-sraka/cabal that referenced this issue Aug 3, 2023
@yvan-sraka
[WIP] Fix haskell#4251: Solver "rejecting" message is too verbose
adce9a3
yvan-sraka added a commit to yvan-sraka/cabal that referenced this issue Aug 29, 2023
@yvan-sraka
[WIP] Fix haskell#4251: Simplify verbose "rejecting" message in solver
84700a2 
This commit makes the following changes:

- Enhancements to the codebase:
  * Adds several TODO/FIXME/HELP comments, laying the groundwork for
    improved solver output as described in RFC 4251 ;
  * Refactors the `showMessages` function to split the logic of
    building the output (now as a `Message'` enumeration) and the
    string representation of it (now formatted by `displayMessage'`).

- Modifications to the solver output:
  * If the `-v3` or `--minimize-conflict-set` flags are not set, it
    now prompts the user to consider using them in cases of the
    "Could not resolve dependencies: ..." error ;
  * The message "(has the same characteristics that caused the
    previous version to fail: ...)" has been rephrased to
    "all other available packages. They are excluded due to the same
    constraint that caused the last version attempted to fail: ..." ;
  * Package lists are now grouped by name. For example, instead of
    displaying `aeson-1.0.2.1, aeson-1.0.2.0, aeson-1.0.1.0, ...`, it
    now shows `aeson: 1.0.2.1, 1.0.2.0, 1.0.1.0, ...`.
@yvan-sraka yvan-sraka mentioned this issue Nov 23, 2023
Open
1 task
yvan-sraka added a commit to yvan-sraka/cabal that referenced this issue Dec 19, 2023
@yvan-sraka
Fix haskell#4251
8eb9daf
yvan-sraka added a commit to yvan-sraka/cabal that referenced this issue Dec 19, 2023
@yvan-sraka
Fix haskell#4251
e4775b4
@yvan-sraka yvan-sraka mentioned this issue Dec 19, 2023
Closed
5 tasks
@grayjay grayjay mentioned this issue Dec 24, 2023
Closed
@philderbeast philderbeast mentioned this issue Dec 26, 2023
Merged
5 tasks
erikd added a commit to erikd/cabal that referenced this issue Mar 26, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
a7d385c 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
@erikd erikd linked a pull request Mar 26, 2025 that will close this issue
Open
6 tasks
erikd added a commit to erikd/cabal that referenced this issue Mar 26, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
7080a6c 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Mar 26, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
e7d77c5 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Mar 26, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
4a1406d 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Mar 26, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
e602461 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Mar 26, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
8c1868b 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Mar 26, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
9c77da9 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Mar 26, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
e5263fd 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Mar 26, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
90b0ce8 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Mar 26, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
c8f419c 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Mar 26, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
5a2528d 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Apr 1, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
1f7a9a6 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Apr 2, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
d82411e 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Apr 6, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
0867e13 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Apr 8, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
bba2294 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Apr 9, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
dfcf129 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Apr 9, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
aa89a5a 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Apr 11, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
c366c1e 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Apr 13, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
20701a2 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Apr 13, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
5a1a451 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
@grayjay grayjay mentioned this issue Apr 14, 2025
Open
@grayjay
Copy link
Collaborator

grayjay commented Apr 14, 2025

Here is the error message from the current version of cabal. I created a conflict by modifying cabal-testsuite.cabal to depend on a later version of aeson:

Resolving dependencies...
Error: [Cabal-7107]
Could not resolve dependencies:
[__0] trying: cabal-testsuite-3 (user goal)
[__1] next goal: aeson (dependency of cabal-testsuite)
[__1] rejecting: aeson-2.2.3.0 (conflict: cabal-testsuite => aeson>=3.0 && <3.1)
[__1] skipping: aeson; 2.2.2.0, 2.2.1.0, 2.2.0.0, 2.1.2.1, 2.1.2.0, 2.1.1.0, 2.1.0.0, 2.0.3.0, 2.0.2.0, 2.0.1.0, 2.0.0.0, 1.5.6.0, 1.5.5.1, 1.5.5.0, 1.5.4.1, 1.5.4.0, 1.5.3.0, 1.5.2.0, 1.5.1.0, 1.5.0.0, 1.4.7.1, 1.4.7.0, 1.4.6.0, 1.4.5.0, 1.4.4.0, 1.4.3.0, 1.4.2.0, 1.4.1.0, 1.4.0.0, 1.3.1.1, 1.3.1.0, 1.3.0.0, 1.2.4.0, 1.2.3.0, 1.2.2.0, 1.2.1.0, 1.2.0.0, 1.1.2.0, 1.1.1.0, 1.1.0.0, 1.0.2.1, 1.0.2.0, 1.0.1.0, 1.0.0.0, 0.11.3.0, 0.11.2.1, 0.11.2.0, 0.11.1.4, 0.11.1.3, 0.11.1.2, 0.11.1.1, 0.11.1.0, 0.11.0.0, 0.9.0.1, 0.9.0.0, 0.8.1.1, 0.8.1.0, 0.8.0.2, 0.7.0.6, 0.7.0.4, 0.6.2.1, 0.6.2.0, 0.6.1.0, 0.6.0.2, 0.6.0.1, 0.6.0.0, 0.5.0.0, 0.4.0.1, 0.4.0.0, 0.3.2.14, 0.3.2.13, 0.3.2.12, 0.3.2.11, 0.3.2.10, 0.3.2.9, 0.3.2.8, 0.3.2.7, 0.3.2.6, 0.3.2.5, 0.3.2.4, 0.3.2.3, 0.3.2.2, 0.3.2.1, 0.3.2.0, 0.3.1.1, 0.3.1.0, 0.3.0.0, 0.2.0.0, 0.1.0.0, 0.10.0.0, 0.8.0.1, 0.8.0.0, 0.7.0.5, 0.7.0.3, 0.7.0.2, 0.7.0.1, 0.7.0.0 (has the same characteristics that caused the previous version to fail: excluded by constraint '>=3.0 && <3.1' from 'cabal-testsuite')
[__1] fail (backjumping, conflict set: aeson, cabal-testsuite)
After searching the rest of the dependency tree exhaustively, these were the goals I've had most trouble fulfilling: cabal-testsuite, aeson

#9560 removed the duplication of aeson.

erikd added a commit to erikd/cabal that referenced this issue Apr 14, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
95cac8d 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
@grayjay grayjay mentioned this issue Apr 15, 2025
Open
erikd added a commit to erikd/cabal that referenced this issue Apr 16, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
7caf6e0 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue May 20, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
824905c 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue May 22, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
56383ad 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
erikd added a commit to erikd/cabal that referenced this issue Jun 3, 2025
@yvan-sraka @erikd
Refactor cabal-install solver config log output
552c039 
Includes:

* Apply some of @grayjay and @mpickering comments
* Fix haskell#4251

Co-Authored-By: Erik de Castro Lopo <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
cabal-install: solver type: enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Refactor cabal-install solver config log output erikd/cabal
3 participants
@ezyang @23Skidoo @grayjay