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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add {In,Out}_channel to Stdlib #10545

Merged
merged 24 commits into from
Sep 1, 2021
Merged

Add {In,Out}_channel to Stdlib #10545

merged 24 commits into from
Sep 1, 2021

Commits on Aug 31, 2021

  1. [ci skip] Add interface for {In,Out}_channel

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    402fdd9 View commit details
    Browse the repository at this point in the history

  2. Rename create => open', create_{bin,gen} => open_{bin,gen}

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    480a033 View commit details
    Browse the repository at this point in the history

  3. Re-export Stdlib.open_flag as {In,Out}_channel.open_flag

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    64bdab7 View commit details
    Browse the repository at this point in the history

  4. Add docstrings

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    c7ca38b View commit details
    Browse the repository at this point in the history

  5. Add implementation

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    2adf84b View commit details
    Browse the repository at this point in the history

  6. Adapt build system

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    fce4d9d View commit details
    Browse the repository at this point in the history

  7. Fix signature for {In,Out}_channel.open_gen

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    4db6c0e View commit details
    Browse the repository at this point in the history

  8. Adapt manual

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    5a722ba View commit details
    Browse the repository at this point in the history

  9. Changes

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    f2ecd3d View commit details
    Browse the repository at this point in the history

  10. check-typo

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    e4ff9b2 View commit details
    Browse the repository at this point in the history

  11. "an" -> "the" (also in Stdlib)

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    21cb8e0 View commit details
    Browse the repository at this point in the history

  12. open' => open_text

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    ad5d67f View commit details
    Browse the repository at this point in the history

  13. Add missing dot

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    4b34479 View commit details
    Browse the repository at this point in the history

  14. Tweak doc for [input_line]

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    a6e4111 View commit details
    Browse the repository at this point in the history

  15. Tweak doc for [input_line]

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    252f2d2 View commit details
    Browse the repository at this point in the history

  16. Invert the docstrings of open_{text,bin}

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    dd0fe66 View commit details
    Browse the repository at this point in the history

  17. Further tweak to doc of [input_line]

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    36c745e View commit details
    Browse the repository at this point in the history

  18. Better workaround for using '_' in manual

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    8de3611 View commit details
    Browse the repository at this point in the history

  19. Streamline doc for [input]

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    e8f4a6e View commit details
    Browse the repository at this point in the history

  20. Less cryptic Changes entry

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    ed24196 View commit details
    Browse the repository at this point in the history

  21. Add {In,Out}_channel to stdlib.ml{,i}

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    5e8aef7 View commit details
    Browse the repository at this point in the history

  22. Accept test results

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    c2acd3e View commit details
    Browse the repository at this point in the history

  23. Remove {input,output}_binary_int

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

  24. Changes

    @nojb
    nojb committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    64d22db View commit details
    Browse the repository at this point in the history