Skip to content

Conversation

@anmonteiro
Copy link
Collaborator

No description provided.

Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
@anmonteiro anmonteiro force-pushed the anmonteiro/source-preview-ppxed branch from 8114ac4 to ba8200c Compare November 23, 2025 02:53

let source_without_pp ~ml_kind t =
let source =
match (ml_kind : Ml_kind.t) with
Copy link
Member

Choose a reason for hiding this comment

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

I think this might need an adjustment for sources without mli's. That is, when ml_kind = Intf but there's not t.source.files.intf we should fall back to the .impl.

Would be great to have a test for this as well if you have the time.

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Thanks, will have a look.

@nojb
Copy link
Collaborator

nojb commented Nov 24, 2025

@anmonteiro Can you say a few words what this change is needed?

@Alizter
Copy link
Collaborator

Alizter commented Nov 24, 2025

Here is the reproduction case: #12770

@nojb
Copy link
Collaborator

nojb commented Nov 24, 2025

Here is the reproduction case: #12770

Thanks!

@anmonteiro
Copy link
Collaborator Author

@nojb any other questions or concerns about this change or its implementation that I should consider?

; A "-c"
; Command.Ml_kind.flag ml_kind
; Dep src
; Hidden_deps (Dep.Set.of_files (Option.to_list original))
Copy link
Member

Choose a reason for hiding this comment

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

Would be nice to leave a comment why we need the source file here. It is in fact only needed for sandboxed builds as far as I can tell.

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.

4 participants