Skip to content

Defer typecheck driver translation to first typecheck (halve warm boot)#29

Merged
pyrex41 merged 3 commits into
mainfrom
claude/shen-lua-kernel-boot-y3s671
Jul 1, 2026
Merged

Defer typecheck driver translation to first typecheck (halve warm boot)#29
pyrex41 merged 3 commits into
mainfrom
claude/shen-lua-kernel-boot-y3s671

typecheck_native: harden the deferred driver translation

6de1bbb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar