HomeIsabelle/Phabricator
Diffusion Poly/ML 7740ddf42f2c

Fix some issues to do with closing streams. Add a regression test.
7740ddf42f2cUnpublished
Actions

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

Fix some issues to do with closing streams. Add a regression test.

Details

Provenance
dcjmAuthored on Feb 11 2019, 4:17 PM
Parents
rPOLYMLec8ba10aa3b6: Add an assertion failure to the end of Crash to force a core dump.
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (2)

PathSize
Tests/
Succeed/
basis/

rPOLYML7740ddf42f2c

View Options

Tests/Succeed/Test183.ML

Loading...
View Options

basis/BasicStreamIO.sml

Loading...