Skip to content
Snippets Groups Projects
Commit 3c637fb7 authored by kristenk's avatar kristenk
Browse files

Solver: Remove unused FailReason constructor.

parent 26426fcc
No related branches found
No related tags found
No related merge requests found
......@@ -124,7 +124,6 @@ showGR UserGoal = " (user goal)"
showGR (DependencyGoal dr) = " (dependency of " ++ showDependencyReason dr ++ ")"
showFR :: ConflictSet -> FailReason -> String
showFR _ InconsistentInitialConstraints = " (inconsistent initial constraints)"
showFR _ (Conflicting ds) = " (conflict: " ++ L.intercalate ", " (L.map showDep ds) ++ ")"
showFR _ CannotInstall = " (only already installed instances can be used)"
showFR _ CannotReinstall = " (avoiding to reinstall a package with same version but new dependencies)"
......
......@@ -92,8 +92,7 @@ data Tree d c =
data POption = POption I (Maybe PackagePath)
deriving (Eq, Show)
data FailReason = InconsistentInitialConstraints
| Conflicting [LDep QPN]
data FailReason = Conflicting [LDep QPN]
| CannotInstall
| CannotReinstall
| Shadowed
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment