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 {In,Out}_channel.with_open_{bin,text,gen} and In_channel.input_all #10596

Merged
merged 20 commits into from
Sep 29, 2021
Merged

Add {In,Out}_channel.with_open_{bin,text,gen} and In_channel.input_all #10596

merged 20 commits into from
Sep 29, 2021

Commits on Sep 29, 2021

  1. In_channel: add with_open_{bin,text,gen} & input_{all,lines}

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

  2. Out_channel: add with_open_{bin,text,gen}

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

  3. make depend

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

  4. Use Fun.protect

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

  5. Remove In_channel.input_lines

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

  6. input_all: handle 32-bit buffer length limitation, better initial buf… 

    …fer size
    @nojb
    nojb committed Sep 29, 2021
    Configuration menu
    Copy the full SHA
    a8d8ec8 View commit details
    Browse the repository at this point in the history

  7. Doc

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

  8. Typo

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

  9. Changes

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

  10. make -C stdlib depend

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

  11. input_all: fix logic bug

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

  12. Fix

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

  13. Better error message

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

  14. Do not allocate large buffer for empty file

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

  15. Add test

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

  16. Improve input_all

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

  17. Changes

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

  18. Fix, improve doc

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

  19. Robustify test

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

  20. Typos

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