HomeIsabelle/Phabricator

Change Foreign.LowLevel.cTypeUint and cTypeULong to use CTypeUnsignedInt. This…

Description

Change Foreign.LowLevel.cTypeUint and cTypeULong to use CTypeUnsignedInt. This fixes #153.

Details

Provenance
dcjmAuthored on Aug 8 2021, 5:48 PM
Parents
rPOLYML8185978a586a: Enable all signals in child process after Unix.execute/executeInEnv.
Branches
Unknown
Tags
Unknown