feat(oxcaml): support parameter implementation#12392

Merged

shonfeder merged 24 commits intomainfrom

maiste/library_param_impl

Sep 9, 2025

Commits on Sep 8, 2025

chore: set the parametized to wrapped

maiste
authored and
art-w
committed
feat(tmp): Singleton working version of parameterized library

maiste
authored and
art-w
committed
feat(tmp): support other library kind for parameterized library

maiste
authored and
art-w
committed
fix: rebase remove useless print

maiste
authored and
art-w
committed
test: add implementation tests

maiste
authored and
art-w
committed
test: check both private and public lib work

maiste
authored and
art-w
committed
fix: change parameter public lib behavior

maiste
authored and
art-w
committed
chore(fmt): apply dune formatter

maiste
authored and
art-w
committed
doc: add implementation documentation

maiste
authored and
art-w
committed
chore: fix error message for impossible case

maiste
authored and
art-w
committed
test(promote): now export the main module (unique module)

maiste
authored and
art-w
committed
chore: add explnation comment for change

maiste
authored and
art-w
committed
chore(review): apply @art-w review

maiste
authored and
art-w
committed
test: check for nonexistent parameter

maiste
authored and
art-w
committed
test: implement a non parameter library

maiste
authored and
art-w
committed
test: apply promotion

maiste
authored and
art-w
committed
remove [Library.is_parameter]

shonfeder
authored and
art-w
committed
documentation and comment fixes

shonfeder
authored and
art-w
committed
test: add more edge cases
art-w
committed
refactor: move module implements to compilation context
art-w
committed
refactor: replace usage of is_parameter by match kind
art-w
committed
fix after review
art-w
committed
refactor(virtual_rules): distinguish between vimpl and parameters
art-w
committed

Commits on Sep 9, 2025

Merge branch 'main' into maiste/library_param_impl
shonfeder
authored