Skip to content

Remove legacy Belt CPPO generator - #8543

Merged
cristianoc merged 1 commit into
masterfrom
remove-runtime-cppo
Aug 10, 2026
Merged

Remove legacy Belt CPPO generator#8543
cristianoc merged 1 commit into
masterfrom
remove-runtime-cppo

Conversation

@cristianoc

Copy link
Copy Markdown
Collaborator

Belt is a legacy API expected to be removed rather than developed further. Converting its frozen data-structure specializations to functors, or replacing CPPO with another generator, would add migration risk and maintenance machinery without improving the runtime users consume.

The checked-in specialized .res and .resi files were regenerated before this change and verified to be current. Make those files the canonical sources, and remove the CPPO templates, regeneration script, package command, OPAM dependency, and obsolete formatter exclusions. Normal builds already consumed the checked-in files, so this does not change runtime code or output.

Rename unrelated dotted-filename test inputs so no source or configuration references to CPPO remain. The changelog entries intentionally retain the name to document the removal across the stacked changes.

Checks: make test; make checkformat; dune build @check; dune build --profile browser --build-dir ./_build_playground compiler/jsoo/jsoo_playground_main.bc.js; dune exec tests/ounit_tests/ounit_tests_main.exe
Signed-off-by: Cristiano Calcagno cristianoc@users.noreply.github.com


Stack created with GitHub Stacks CLIGive Feedback 💬

@cristianoc
cristianoc force-pushed the remove-runtime-cppo branch from b0d4aa5 to b964b17 Compare August 10, 2026 09:34
@cristianoc
cristianoc marked this pull request as ready for review August 10, 2026 09:34
@cristianoc
cristianoc requested a review from cknitt August 10, 2026 09:35
@pkg-pr-new

pkg-pr-new Bot commented Aug 10, 2026

Copy link
Copy Markdown

Open in StackBlitz

rescript

npm i https://pkg.pr.new/rescript@8543

@rescript/darwin-arm64

npm i https://pkg.pr.new/@rescript/darwin-arm64@8543

@rescript/darwin-x64

npm i https://pkg.pr.new/@rescript/darwin-x64@8543

@rescript/linux-arm64

npm i https://pkg.pr.new/@rescript/linux-arm64@8543

@rescript/linux-x64

npm i https://pkg.pr.new/@rescript/linux-x64@8543

@rescript/runtime

npm i https://pkg.pr.new/@rescript/runtime@8543

@rescript/win32-x64

npm i https://pkg.pr.new/@rescript/win32-x64@8543

commit: 3a3928a

@cristianoc
cristianoc force-pushed the remove-runtime-cppo branch from b964b17 to 64f0667 Compare August 10, 2026 14:42
@codecov

codecov Bot commented Aug 10, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 74.83%. Comparing base (6a6ef66) to head (3a3928a).

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #8543   +/-   ##
=======================================
  Coverage   74.83%   74.83%           
=======================================
  Files         477      477           
  Lines       63311    63313    +2     
=======================================
+ Hits        47380    47382    +2     
  Misses      15931    15931           
Files with missing lines Coverage Δ
tests/ounit_tests/ounit_string_tests.ml 97.09% <100.00%> (+0.01%) ⬆️
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

Base automatically changed from replace-cppo-specializations-with-functors to master August 10, 2026 15:30
Belt is a legacy API expected to be removed rather than developed further. Converting its frozen data-structure specializations to functors, or replacing CPPO with another generator, would add migration risk and maintenance machinery without improving the runtime users consume.

The checked-in specialized .res and .resi files were regenerated before this change and verified to be current. Make those files the canonical sources, and remove the CPPO templates, regeneration script, package command, OPAM dependency, and obsolete formatter exclusions. Normal builds already consumed the checked-in files, so this does not change runtime code or output.

Rename unrelated dotted-filename test inputs so no source or configuration references to CPPO remain. The changelog entries intentionally retain the name to document the removal across the stacked changes.

Checks: make test; make checkformat; dune build @check; dune build --profile browser --build-dir ./_build_playground compiler/jsoo/jsoo_playground_main.bc.js; dune exec tests/ounit_tests/ounit_tests_main.exe
Signed-off-by: Cristiano Calcagno <cristianoc@users.noreply.github.com>
@cristianoc
cristianoc force-pushed the remove-runtime-cppo branch from 64f0667 to 3a3928a Compare August 10, 2026 15:30
@github-actions

Copy link
Copy Markdown

@cristianoc
cristianoc merged commit 1f72a65 into master Aug 10, 2026
29 checks passed
@cristianoc
cristianoc deleted the remove-runtime-cppo branch August 10, 2026 19:34
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