-
Notifications
You must be signed in to change notification settings - Fork 91
Get or set the file caching mode #340
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.
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
base: master
Are you sure you want to change the base?
Conversation
We need to restore the github workflows to see if JS/wasm backends function. If you don't want to do that, I'll do it later this week. |
-- Throws 'IOError' (\"unsupported operation\") if platform does not support | ||
-- reading the cache mode. | ||
-- | ||
-- (use @#if HAVE_O_DIRECT@ CPP guard to detect availability). |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Is this macro available to a user though?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Should be through HsUnix.h
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'd prefer the documentation to say so explicitly, otherwise people will be left wondering who defines them.
Can you rebase against master? |
Will do |
4b39741
to
b648df3
Compare
8725f7c
to
9d4c1eb
Compare
All CI jobs except OpenBSD seem to pass (seems like a problem with the job/runner, not the code?). I can squash the commits into one if the changes are okay to merge |
-- this sets the @F_NOCACHE@ @fcntl@ flag. | ||
-- | ||
-- Throws 'IOError' (\"unsupported operation\") if platform does not support | ||
-- reading the cache mode. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Reading or writing?
Resolves #322