Commit 83800e4d authored by Duncan Coutts's avatar Duncan Coutts
Browse files

Fix a case in the new solver pruning pass

It is actually possible for pruning to eliminate required packages
because it's possible for it to propagate all the way up to one of
the initial targets.
parent d2eba575
......@@ -354,8 +354,7 @@ pruneBottomUp platform comp constraints =
Satisfiable cs' [pkgid]| packageId pkg == pkgid
-> Step (ExcludeUnconfigurable pkgid) (rest cs')
Satisfiable _ _ -> impossible
Unsatisfiable -> impossible
ConflictsWith _ -> Fail $ ConfigureFailed pkg
_ -> Fail $ ConfigureFailed pkg
[ (dep, Constraints.conflicting cs dep)
| dep <- missing ]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment