New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

File handles without manual, explicit threading #1

Open

aspiwack opened this issue Dec 20, 2018 · 1 comment

Labels

example

Member

aspiwack commented Dec 20, 2018

No description provided.

aspiwack added the example label

aspiwack pinned this issue

Member

facundominguez commented Nov 1, 2019 •

edited

Loading

In this interface

openFile  :: FilePath -> IOL (Handle h .<= Open h)
close     :: Open h =>. Handle h -> IOL ()
readLine  :: Open h =>. Handle h -> IOL (String .<= Open h)

I'm guessing that a fresh h should be provided every time openFile is used. These types don't ensure that so far.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment