summaryrefslogtreecommitdiff
path: root/stdlib/in_channel.ml
Commit message (Collapse)AuthorAgeFilesLines
* Add `In_channel.input_lines` and `In_channel.fold_lines` (#11843)Xavier Leroy2023-01-131-0/+10
| | | | Co-authored-by: wiktorkuchta <35867657+wiktorkuchta@users.noreply.github.com>
* Add {In,Out}_channel.isatty (#11128)Nicolás Ojeda Bär2022-06-101-0/+2
|
* In_channel.input_all: fix bug (#10978)Nicolás Ojeda Bär2022-02-011-1/+1
|
* Add {In,Out}_channel.with_open_{bin,text,gen} and In_channel.input_all (#10596)Nicolás Ojeda Bär2021-09-291-0/+107
|
* Add {In,Out}_channel to Stdlib (#10545)Nicolás Ojeda Bär2021-09-011-0/+66