Skip to content

A safer core: remove Obj.magic in promise state update#1084

Open
gasche wants to merge 5 commits intoocsigen:masterfrom
gasche:safer-core
Open

A safer core: remove Obj.magic in promise state update#1084
gasche wants to merge 5 commits intoocsigen:masterfrom
gasche:safer-core

Commits

Commits on Oct 16, 2025