#904: Solver fails for unknown reason
---------------------------------+------------------------------------------
Reporter: tibbe | Owner: kosmikus
Type: defect | Status: closed
Priority: normal | Milestone: cabal-install-0.14
Component: cabal-install tool | Version: 1.8.0.6
Severity: normal | Resolution: fixed
Keywords: solver | Difficulty: unknown
Ghcversion: | Platform:
---------------------------------+------------------------------------------
Changes (by kosmikus):
* status: new => closed
* resolution: => fixed
Comment:
Here's what I'm getting with the modular solver (I have to explicitly
disable backtracking, otherwise it'll actually find a solution):
{{{
$ cabal install snap-core-0.7 --max-backjumps=0 --dry-run
Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: snap-core (user goal)
rejecting: snap-core-0.8.0.1, 0.8.0, 0.7.0.1 (global constraint requires
==0.7)
trying: snap-core-0.7
trying: text-0.11.1.13 (dependency of snap-core-0.7)
trying: array-0.4.0.0/installed-0b3... (dependency of text-0.11.1.13)
next goal: deepseq (dependency of snap-core-0.7)
rejecting: deepseq-1.3.0.0/installed-6c1..., 1.3.0.0 (conflict: snap-core
=> deepseq>=1.1 && <1.3)
rejecting: deepseq-1.2.0.1, 1.2.0.0, 1.1.0.2, 1.1.0.1 (conflict:
array==0.4.0.0/installed-0b3..., deepseq => array>=0.1 && <0.4)
rejecting: deepseq-1.1.0.0 (conflict: array==0.4.0.0/installed-0b3...,
deepseq => array>=0.2 && <0.4)
rejecting: deepseq-1.0.0.0 (conflict: snap-core => deepseq>=1.1 && <1.3)
}}}
This is still not trivial to read, but it explains why `deepseq` has to be
resolved, and it explains why none of the available versions can be used.
I'm closing this one.
--
Ticket URL: <http://hackage.haskell.org/trac/hackage/ticket/904#comment:4>
Hackage <http://haskell.org/cabal/>
Hackage: Cabal and related projects
_______________________________________________
cabal-devel mailing list
cabal-devel@haskell.org
http://www.haskell.org/mailman/listinfo/cabal-devel
