package 0install-solver

  1. Overview
  2. Docs

Module Zeroinstall_solver.DiagnosticsSource

Explaining why a solve failed or gave an unexpected answer.

Parameters

Signature

Sourcemodule Note : sig ... end

An item of information to display for a component.

Sourcemodule Component : sig ... end

Information about a single role in the example (failed) selections produced by the solver.

An analysis of why the solve failed.

Sourceval of_result : Result.t -> t

of_result r is an analysis of failed solver result r. We take the partial solution from the solver and discover, for each component we couldn't select, which constraints caused the candidates to be rejected.

Sourceval get_failure_reason : ?verbose:bool -> Result.t -> string

get_failure_reason r analyses r with of_result and formats the analysis as a string.