From b578106e2b0d899595cba6d8ddaca6edff608dac Mon Sep 17 00:00:00 2001
From: Kate <kit-ty-kate@outlook.com>
Date: Thu, 23 Jan 2025 02:06:07 +0000
Subject: [PATCH] Simplify OpamClient.compute_upgrade_t

---
 src/client/opamClient.ml | 17 +++--------------
 1 file changed, 3 insertions(+), 14 deletions(-)

diff --git a/src/client/opamClient.ml b/src/client/opamClient.ml
index a45b94bf39a..5a4c2f09a9e 100644
--- a/src/client/opamClient.ml
+++ b/src/client/opamClient.ml
@@ -113,27 +113,16 @@ let compute_upgrade_t
         | Some nv -> not (OpamPackage.Set.mem nv (Lazy.force t.available_packages)))
       atoms
   in
-  let criteria = if to_install = [] && all then `Upgrade else `Default in
-  if all then
-    names,
-    OpamSolution.resolve t Upgrade
-      ~requested:packages
-      ~reinstall:(Lazy.force t.reinstall)
-      (OpamSolver.request
-         ~install:to_install
-         ~upgrade:to_upgrade
-         ~deprequest:(OpamFormula.to_atom_formula formula)
-         ~all:[]
-         ~criteria ())
-  else
   names,
   OpamSolution.resolve t Upgrade
     ~requested:packages
+    ?reinstall:(if all then Some (Lazy.force t.reinstall) else None)
     (OpamSolver.request
        ~install:to_install
        ~upgrade:to_upgrade
        ~deprequest:(OpamFormula.to_atom_formula formula)
-       ~criteria
+       ?all:(if all then Some [] else None)
+       ~criteria:(if to_install = [] && all then `Upgrade else `Default)
        ())
 
 let print_requested requested formula =