Diffusion Poly/ML 45c113028265

Replace many of the Windows RTS calls by direct calls to the Windows functions…
45c113028265
Actions

Tags

None

Subscribers

None

Description

Replace many of the Windows RTS calls by direct calls to the Windows functions using FFI.

Details

Provenance

dcjm	Authored on Mar 24 2019, 6:18 PM

Parents

rPOLYML358195f5a900: Remove unused Windows calls.

Branches

Unknown

Tags

Unknown

Event Timeline

dcjm committed rPOLYML45c113028265: Replace many of the Windows RTS calls by direct calls to the Windows functions… (authored by dcjm).Mar 24 2019, 6:18 PM

Changes (4)

Path

Size

Tests/

Succeed/

basis/

libpolyml/

windows_specific.cpp

mlsource/

extra/

Win/

rPOLYML45c113028265

Tests/Succeed/Test181.ML

Loading...

basis/Windows.sml

Loading...

libpolyml/windows_specific.cpp

Loading...

mlsource/extra/Win/Base.sml

Loading...