Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
(note: this looks long, but most of the changes are to the fuzz tests)
The changes to tls-eio.ml are:
Tls_socket_closed
error. Writing to a closed connection previously reported end-of-file, which isn't quite right.read
tosingle_read
,write
tosingle_write
, andcopy_from
tocopy
, to match the Eio 0.12 API.copy
now uses an Eio helper that just callssingle_write
.This removes all uses of objects from
tls-eio.ml
.