Skip to content

docs(tw_section): update stale typed-wasm proposal 0001 reference (accepted + ADR-0002/0003) #468

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

Merged
hyperpolymath merged 1 commit into from
May 30, 2026
+9 −6
Merged

docs(tw_section): update stale typed-wasm proposal 0001 reference (accepted + ADR-0002/0003) #468

Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
15 changes: 9 additions & 6 deletions lib/tw_section.mli
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,12 +8,15 @@
(avoiding a cycle with [Codegen]). Callers map their domain
types to bytes before invoking.

Forward-compatibility slot for typed-wasm proposal 0001 (issue
hyperpolymath/typed-wasm#34): [Encode.regions] and
[Encode.capabilities] land here when the proposal promotes to
[accepted]. Sharing the internal LE writers (u8 / u32le / leb128)
inside this module prevents the 3-sections × 2-copies = 6-encoder
fan-out flagged by hyperpolymath/affinescript#444. *)
Forward-compatibility slot for typed-wasm proposals 0001 + 0002
(now [accepted] 2026-05-30; promoted to typed-wasm ADR-0002
[multi-producer carrier sections] and ADR-0003 [access-site
carrier]). [Encode.regions], [Encode.capabilities], and
[Encode.access_sites] land here as codegen produces them — see
hyperpolymath/affinescript#462 (typed access-sites emission).
Sharing the internal LE writers (u8 / u32le / leb128) inside this
module prevents the 3-sections × 2-copies = 6-encoder fan-out
flagged by hyperpolymath/affinescript#444. *)

module Encode : sig
(** v1 wire format for [typedwasm.ownership]:
Expand Down
Loading