You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The documentation states the following about hGetContents and hGetContentsN:
The handle is closed on EOF.
Looking at the code, that doesn't seem to be the case. And that is good! It makes more sense this way and fits better with how pipes-bytestring works. So perhaps the documentation should be updated, removing the references to handles being closed on EOF.
The text was updated successfully, but these errors were encountered:
The documentation states the following about
hGetContents
andhGetContentsN
:Looking at the code, that doesn't seem to be the case. And that is good! It makes more sense this way and fits better with how
pipes-bytestring
works. So perhaps the documentation should be updated, removing the references to handles being closed on EOF.The text was updated successfully, but these errors were encountered: