Skip to content

Immutable representation of compiled interfaces #8676

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
fhammerschmidt wants to merge 2 commits into from
Closed

Immutable representation of compiled interfaces #8676

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
807a6e1
Add immutable compiled interface representation
fhammerschmidt Sep 25, 2026
ff965cc
Document immutable interface experiment in changelog
fhammerschmidt Sep 25, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,6 +36,8 @@

#### :house: Internal

- Add an opt-in immutable representation of compiled interfaces for OCaml rewatch experiments (`REWATCH_FROZEN_VALUES=1`), allowing selective lookup without eagerly expanding imported signatures. https://github.com/rescript-lang/rescript/pull/8676

# 13.0.0-alpha.6

#### :boom: Breaking Change
Expand Down
283 changes: 283 additions & 0 deletions compiler/ml/IMMUTABLE_INTERFACES.md
View file
Open in desktop

Large diffs are not rendered by default.

7 changes: 7 additions & 0 deletions compiler/ml/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -59,6 +59,13 @@ For module inclusion and signature compatibility, start with
: Substitution and copying across environments and persistence boundaries.
`for_saving` has stronger independence requirements than an ordinary copy.

[`IMMUTABLE_INTERFACES.md`](IMMUTABLE_INTERFACES.md)
: Design and measurements for sharing compiled interfaces across compiler
domains. `Frozen_type_graph` is an experimental type arena; `Frozen_values`
indexes values, types, constructors, labels, modules, and module types in
nested signatures. `Env` uses its request-local views and lazy opened-name
tables when `REWATCH_FROZEN_VALUES=1`.

## Polymorphic value positions

A `Tpoly` node represents a type scheme, so the operation depends on whether
Expand Down
Loading
Loading