Skip to content

A mutable variable read is an explicit operation, not a subtyping rule - #64

Merged
dpmills merged 4 commits into
dmills/mut-typing-fixesfrom
dmills/explicit-register-reads
Aug 14, 2026
Merged

A mutable variable read is an explicit operation, not a subtyping rule#64
dpmills merged 4 commits into
dmills/mut-typing-fixesfrom
dmills/explicit-register-reads

Tests: embedded programs read as programs, not as escaped newlines

d33d69a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
check
succeeded Aug 14, 2026 in 2m 48s