Skip to content

refactor(opam_solver): split build_problem - #16306

Open
art-w wants to merge 2 commits into
ocaml:mainfrom
art-w:opam-problem
Open

art-w wants to merge 2 commits into
ocaml:mainfrom
art-w:opam-problem

Conversation

@art-w

@art-w art-w commented Sep 2, 2026

Copy link
Copy Markdown
Contributor

More scaffolding to prepare for the on-demand loading of opam packages: This is just breaking apart build_problem and introducing a type Problem.t to keep track of the state.

Signed-off-by: Arthur Wendling <arthur@tarides.com>
Signed-off-by: Arthur Wendling <arthur@tarides.com>

This comment was marked as low quality.

; dummy_impl : Input.Impl.t option
; cache : (Input.Role.t, Candidates.t) Fiber.Cache.t
; by_role : (Input.Role.t, Candidates.t) Table.t
; mutable created : Candidates.t list

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This can be inferred by by_role right?

List.rev !conflicts
|> Fiber.parallel_iter ~f:(fun (impl_var, dep) ->
process_dep `No_expand impl_var dep)
(* All impl_candidates have now been added, so snapshot the cache. *)

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This comment appears to be stale now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants