Diffusion Poly/ML 6025c250b4f1

Change Posix.Process.exit to use the same underlying call as OS.Process.
6025c250b4f1
Actions

Tags

None

Subscribers

None

Description

Change Posix.Process.exit to use the same underlying call as OS.Process.terminate. This avoids a hang in Test190.

Details

Provenance

dcjm	Authored on Feb 27 2020, 8:17 PM

Parents

rPOLYML744d14ffd49b: Fix bug found by Makarius in generated code. It seems to have been introduced…

Branches

Unknown

Tags

Unknown

Event Timeline

dcjm committed rPOLYML6025c250b4f1: Change Posix.Process.exit to use the same underlying call as OS.Process. (authored by dcjm).Feb 27 2020, 8:17 PM

makarius mentioned this in rISABELLEa296d3697e50: updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1);.Feb 28 2020, 10:23 PM

Changes (1)

Path

Size

basis/

rPOLYML6025c250b4f1

basis/Posix.sml

Loading...