HomeIsabelle/Phabricator

Change Socket.connect so that waiting for the connection is done in ML. Clean…

Description

Change Socket.connect so that waiting for the connection is done in ML. Clean up the handling of syserror to avoid
unnecessary casts.

Details

Provenance
dcjmAuthored on Jan 26 2019, 10:02 AM
Parents
rPOLYML928f23735876: Use reraise rather than raise to pass on unhandled exceptions in nonBlocking.
Branches
Unknown
Tags
Unknown