HomeIsabelle/Phabricator

Use volatile refs explicitly. Convert OS.Process.atExit to use them so that it…

Description

Use volatile refs explicitly. Convert OS.Process.atExit to use them so that it is no longer necessary to
implement this in the RTS.

Details

Provenance
dcjmAuthored on Oct 15 2020, 6:28 PM
Parents
rPOLYML5069d7f22b68: Clear no-overwrite word ref values when they are exported. This avoids
Branches
Unknown
Tags
Unknown