HomeIsabelle/Phabricator

Fix OS.FileSys.modTime for Windows. The correct way is to use CreateFile to…

Description

Fix OS.FileSys.modTime for Windows. The correct way is to use CreateFile to open the target and then use GetFileTime to retrieve the
last-write time.

Details

Provenance
dcjmAuthored on Feb 7 2023, 6:52 PM
Parents
rPOLYML5e9c8155ea96: ARM64: Fix incorrect temporary initialisation of mutually recursive closures.
Branches
Unknown
Tags
Unknown