HomeIsabelle/Phabricator

Add an RTS function to create persistent file descriptor values for Posix.
b28db8253b5cUnpublished

Unpublished Commit · Learn More

  • Repository Importing: This repository is still importing.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Add an RTS function to create persistent file descriptor values for Posix.FileSys.stdin etc. Change Unix.execute to use them and add a regression test.

Details

Provenance
dcjmAuthored on Apr 6 2019, 7:08 PM
Parents
rPOLYMLfec83e0fdb61: When extracting and setting the file descriptor use the whole word in the…
Branches
Unknown
Tags
Unknown

Event Timeline