`include functor` support for OxCaml - #1452

Open

Leonidas-from-XIV wants to merge 21 commits into

ocaml:masterfrom

Leonidas-from-XIV:include-functor

Commits on Aug 31, 2026

Initial code sample of `include functor`
Leonidas-from-XIV
committed
e2b6784
Add non-include-functor version for comparison
Leonidas-from-XIV
committed
98ba0ae
Add "include functor" rendering
Leonidas-from-XIV
committed
2e97b5a
Add example for include functor in structs
Leonidas-from-XIV
committed
7e4ff5d
Implement reference to include functor
Leonidas-from-XIV
committed
5757d21
Allow `include functor` with a module expression
Leonidas-from-XIV
committed
ab8bcec
Add changelog entry
Leonidas-from-XIV
committed
9ca0701
Dedup code
Leonidas-from-XIV
committed
51efb2a
Add `@inline` test case
Leonidas-from-XIV
committed
1550d05
Implement with resolving
Leonidas-from-XIV
committed
7d95e16
Fix 4.11 compat
Leonidas-from-XIV
committed
b681de7
Use the functor argument in the functor result
Leonidas-from-XIV
committed
72df012
Hide dummy modules
Leonidas-from-XIV
committed
9fd01de
Update generated code with current `master`
Leonidas-from-XIV
committed
8b581e3
Add tests for what `include functor` inherits and where it may appear

authored and
Leonidas-from-XIV
committed
f0d6235
Apply the include-functor path directly in signatures

authored and
Leonidas-from-XIV
committed
f9cc95a
Apply the include functor to a module expression in structures

authored and
Leonidas-from-XIV
committed
ea6c848
Give each `include functor` its own wrapper

authored and
Leonidas-from-XIV
committed
c83705a
Build the include-functor wrapper out of aliases

authored and
Leonidas-from-XIV
committed
769cd7c
Add examples where the module body has an include
Leonidas-from-XIV
committed
e3c4b33
Remove `partition_map` changes
Leonidas-from-XIV
committed
c1d318d

Navigation Menu

Uh oh!

`include functor` support for OxCaml - #1452

`include functor` support for OxCaml#1452
Leonidas-from-XIV wants to merge 21 commits into
ocaml:masterfrom
Leonidas-from-XIV:include-functor

Commits on Aug 31, 2026

Initial code sample of `include functor`

Add non-include-functor version for comparison

Add "include functor" rendering

Add example for include functor in structs

Implement reference to include functor

Allow `include functor` with a module expression

Add changelog entry

Dedup code

Add `@inline` test case

Implement with resolving

Fix 4.11 compat

Use the functor argument in the functor result

Hide dummy modules

Update generated code with current `master`

Add tests for what `include functor` inherits and where it may appear

Apply the include-functor path directly in signatures

Apply the include functor to a module expression in structures

Give each `include functor` its own wrapper

Build the include-functor wrapper out of aliases

Add examples where the module body has an include

Remove `partition_map` changes