refactor(pkg): remove some dead solver code (#11228)

Signed-off-by: Rudi Grinberg <[email protected]>
ocaml · Dec 19, 2024 · 69bafe0 · 69bafe0
1 parent 7025204
commit 69bafe0
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 7 deletions.
diff --git a/src/opam-0install/lib/solver.ml b/src/opam-0install/lib/solver.ml
@@ -3,10 +3,6 @@ module Make (Context : S.CONTEXT) = struct
   open Pp.O
   module Input = Model.Make (Context)
 
-  let version = Input.version
-  let package_name = Input.package_name
-  let formula = Input.formula
-
   let requirements ~context pkgs =
     let role =
       match pkgs with

diff --git a/src/opam-0install/lib/solver.mli b/src/opam-0install/lib/solver.mli
@@ -11,8 +11,5 @@ module Make (C : S.CONTEXT) : sig
     include module type of Zeroinstall_solver.Diagnostics (Solver.Output)
   end
 
-  val version : Input.impl -> OpamPackage.t option
-  val package_name : Input.Role.t -> OpamPackage.Name.t option
-  val formula : Input.restriction -> [ `Ensure | `Prevent ] * OpamFormula.version_formula
   val diagnostics_rolemap : diagnostics -> Diagnostics.t Fiber.t
 end