Skip to content

Add some Handle operations to RIO#425

Merged
aspiwack merged 6 commits intotweag:masterfrom
endgame:handle-ops
Aug 29, 2022
Merged

Add some Handle operations to RIO#425
aspiwack merged 6 commits intotweag:masterfrom
endgame:handle-ops

Conversation

@endgame
Copy link
Copy Markdown
Contributor

@endgame endgame commented Aug 13, 2022

Add System.IO.Resource.Linear.{openBinaryFile,hSeek,SeekMode(..),hTell}.

Haddocks are in anticipation of a near 0.2.1 release; happy to change/remove the @since annotations if they're likely to be wrong.

Related: #424.

Copy link
Copy Markdown
Member

@aspiwack aspiwack left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

A few comments to address below, and it'll be good to go.

endgame and others added 2 commits August 24, 2022 08:39
Next release is likely to ship breaking changes.

Co-authored-by: Arnaud Spiwack <arnaud@spiwack.net>
Co-authored-by: Arnaud Spiwack <arnaud@spiwack.net>
Copy link
Copy Markdown
Contributor Author

@endgame endgame left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I applied all your suggestions.

@aspiwack aspiwack changed the title Handle ops Add some Handle operation to RIO Aug 29, 2022
@aspiwack aspiwack changed the title Add some Handle operation to RIO Add some Handle operations to RIO Aug 29, 2022
Copy link
Copy Markdown
Member

@aspiwack aspiwack left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I edited the title of the PR for clarity. I'll be merging now. Thanks for your PR.

@aspiwack aspiwack enabled auto-merge August 29, 2022 07:54
@aspiwack aspiwack merged commit 948c5b8 into tweag:master Aug 29, 2022
@endgame endgame deleted the handle-ops branch August 29, 2022 08:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants