Skip to content

Comments

fix: add eta-expansions for OxCaml compatibility#13342

Merged
rgrinberg merged 1 commit intoocaml:mainfrom
avsm:oxcaml-eta
Jan 17, 2026
Merged

fix: add eta-expansions for OxCaml compatibility#13342
rgrinberg merged 1 commit intoocaml:mainfrom
avsm:oxcaml-eta

Conversation

@avsm
Copy link
Member

@avsm avsm commented Jan 17, 2026

Add eta-expansion to partial function applications to work around value restriction issues with oxcaml.

Add eta-expansion to partial function applications to work around
value restriction issues with oxcaml.

Signed-off-by: Anil Madhavapeddy <anil@recoil.org>
@rgrinberg
Copy link
Member

Just a sanity check: you are certain that this is an issue with our code and not a bug in oxcaml?

@avsm
Copy link
Member Author

avsm commented Jan 17, 2026

It's a known backwards-incompatible change in oxcaml atm; https://oxcaml.org/documentation/stack-allocation/pitfalls/#partial-applications-with-local-parameters

@rgrinberg
Copy link
Member

Thanks. It's just a bit suspicious that this started recently.

@rgrinberg rgrinberg merged commit 11fca69 into ocaml:main Jan 17, 2026
28 checks passed
@avsm avsm deleted the oxcaml-eta branch January 17, 2026 17:49
@Alizter Alizter mentioned this pull request Feb 6, 2026
23 tasks
Alizter pushed a commit to Alizter/dune that referenced this pull request Feb 6, 2026
Add eta-expansion to partial function applications to work around value
restriction issues with oxcaml.

backport: keep only v1.ml eta-expansion fix

Signed-off-by: Ali Caglayan <alizter@gmail.com>
Alizter pushed a commit to Alizter/dune that referenced this pull request Feb 6, 2026
Add eta-expansion to partial function applications to work around value
restriction issues with oxcaml.

backport: keep only v1.ml eta-expansion fix

Signed-off-by: Ali Caglayan <alizter@gmail.com>
Alizter added a commit that referenced this pull request Feb 6, 2026
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.

2 participants