Skip to content
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

Add Out_channel.{is,set}_buffered to control buffering of output channels #10538

Merged
merged 20 commits into from
Sep 15, 2021
Merged

Add Out_channel.{is,set}_buffered to control buffering of output channels #10538

merged 20 commits into from
Sep 15, 2021

Commits on Sep 1, 2021

  1. io.c: allow unbuffered output channels

    @nojb
    nojb committed Sep 1, 2021
    Configuration menu
    Copy the full SHA
    e9f72fe View commit details
    Browse the repository at this point in the history

  2. If connected to a terminal, set stderr to be unbuffered

    @nojb
    nojb committed Sep 1, 2021
    Configuration menu
    Copy the full SHA
    2c01396 View commit details
    Browse the repository at this point in the history

  3. Set stderr to be unbuffered unconditionally

    @nojb
    nojb committed Sep 1, 2021
    Configuration menu
    Copy the full SHA
    74ba8b4 View commit details
    Browse the repository at this point in the history

  4. Expose function to control buffering mode, do not change stderr by de… 

    …fault
    @nojb
    nojb committed Sep 1, 2021
    Configuration menu
    Copy the full SHA
    cd7a450 View commit details
    Browse the repository at this point in the history

  5. Changes

    @nojb
    nojb committed Sep 1, 2021
    Configuration menu
    Copy the full SHA
    f7ca145 View commit details
    Browse the repository at this point in the history

  6. check-typo

    @nojb
    nojb committed Sep 1, 2021
    Configuration menu
    Copy the full SHA
    0044592 View commit details
    Browse the repository at this point in the history

  7. Accept test results

    @nojb
    nojb committed Sep 1, 2021
    Configuration menu
    Copy the full SHA
    c162de6 View commit details
    Browse the repository at this point in the history

  8. Flush channel when set to unbuffered

    @nojb
    nojb committed Sep 1, 2021
    Configuration menu
    Copy the full SHA
    75cc396 View commit details
    Browse the repository at this point in the history

  9. Rename set_channel_{unbuffered => buffered}

    @nojb
    nojb committed Sep 1, 2021
    Configuration menu
    Copy the full SHA
    69de4b8 View commit details
    Browse the repository at this point in the history

  10. Move function to Out_channel

    @nojb
    nojb committed Sep 1, 2021
    Configuration menu
    Copy the full SHA
    86d604c View commit details
    Browse the repository at this point in the history

  11. Use macro for clarity

    @nojb
    nojb committed Sep 1, 2021
    Configuration menu
    Copy the full SHA
    ff2fd93 View commit details
    Browse the repository at this point in the history

  12. Reduce diff

    @nojb
    nojb committed Sep 1, 2021
    Configuration menu
    Copy the full SHA
    9a6ee94 View commit details
    Browse the repository at this point in the history

  13. Changes

    @nojb
    nojb committed Sep 1, 2021
    Configuration menu
    Copy the full SHA
    836aeea View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2021

  1. Call caml_ml_flush instead of caml_flush

    @nojb
    nojb committed Sep 10, 2021
    Configuration menu
    Copy the full SHA
    cceff43 View commit details
    Browse the repository at this point in the history

  2. Rename set_buffering_mode => set_buffered

    @nojb
    nojb committed Sep 10, 2021
    Configuration menu
    Copy the full SHA
    a68ae80 View commit details
    Browse the repository at this point in the history

  3. Add Out_channel.is_buffered

    @nojb
    nojb committed Sep 10, 2021
    Configuration menu
    Copy the full SHA
    e2cd884 View commit details
    Browse the repository at this point in the history

  4. Changes

    @nojb
    nojb committed Sep 10, 2021
    Configuration menu
    Copy the full SHA
    b69e842 View commit details
    Browse the repository at this point in the history

  5. Doc

    @nojb
    nojb committed Sep 10, 2021
    Configuration menu
    Copy the full SHA
    14abf4b View commit details
    Browse the repository at this point in the history

  6. Add test

    @nojb
    nojb committed Sep 10, 2021
    Configuration menu
    Copy the full SHA
    004afae View commit details
    Browse the repository at this point in the history

  7. Use !

    @nojb
    nojb committed Sep 10, 2021
    Configuration menu
    Copy the full SHA
    e1bc6fa View commit details
    Browse the repository at this point in the history