Skip to content

[WIP] Fix alias hint generation to use selected build context#14380

Closed
Copilot wants to merge 2 commits into
mainfrom
copilot/fix-alias-hint-generation
Closed

[WIP] Fix alias hint generation to use selected build context#14380
Copilot wants to merge 2 commits into
mainfrom
copilot/fix-alias-hint-generation

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Apr 30, 2026

  • Add selected_context global ref to Dune_engine.Clflags (default: Context_name.default)
  • Set selected_context in Common.init_with_root
  • In bin/alias.ml's dep_on_alias_rec_multi_contexts, filter hint context to only the selected context
  • Add/update test for multi-context alias hint behavior
  • Build and verify changes

@Alizter
Copy link
Copy Markdown
Collaborator

Alizter commented Apr 30, 2026

@copilot This is the wrong way to handle contexts. look at the implementation of bin/targets.ml for a better idea.

Agent-Logs-Url: https://github.com/ocaml/dune/sessions/9831aa74-e34d-475e-a0e4-bacee9d641dc

Co-authored-by: Alizter <8614547+Alizter@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Alias hint generation should only use selected build context

2 participants