summaryrefslogtreecommitdiff
path: root/otherlibs/unix/unixLabels.mli
Commit message (Expand)AuthorAgeFilesLines
* Sync stdlib docsNicolás Ojeda Bär2023-03-151-19/+23
* Documentation-only: Add Windows specifics for `process_status` type (#12067)shym2023-03-031-1/+9
* Improve documentation of exec* functions (#11754) (#11892)Boris Yakobowski2023-01-201-0/+7
* Remove .0 from all @since, @before and @afterDavid Allsopp2022-10-311-21/+21
* Sync unixLabels.mliNicolás Ojeda Bär2022-10-111-1/+1
* Fix the type of Unix.umask to `Unix.file_perm -> Unix.file_perm`favonia2022-08-081-1/+1
* Revert incorrect marking of socketpair as unimplemented on Windows (#11452)Olivier Nicole2022-07-221-3/+1
* fix doc of Unix.map_file (#11136)Fardale2022-03-251-2/+2
* Make notices about lack of Windows support simpler and consistentMartin Jambon2022-02-171-30/+38
* Printexc.catch, Printf.kprintf, Unix.SO_ERROR: add deprecation warning (#10924)Nicolás Ojeda Bär2022-01-211-1/+3
* Replace Stdlib.stdout with Unix.stdout in doc of Unix.create_processAntonin Décimo2021-11-191-1/+1
* Support Unix domain sockets on WindowsAntonin Décimo2021-06-221-1/+2
* Address a first round of comments.Daniel Bünzli2021-03-251-1/+1
* Add Unix.realpath.Daniel Bünzli2021-03-251-0/+5
* Merge pull request #10165 from johnwhitington/split-exten-dot-etexFlorian Angeletti2021-02-011-1/+1
|\
| * More manual/src changesJohn Whitington2021-01-291-1/+1
* | unix: sync documentationoctachron2021-02-011-22/+53
|/
* Renew table of Win32-incompatible functions in Unix (#10116)John Whitington2021-01-041-3/+10
* Unix.open_process_args*: look up program in PATH (#10084)Nicolás Ojeda Bär2020-12-211-17/+21
* Put Unix.SO_REUSEPORT at the end of variantDavid Allsopp2020-12-071-1/+1
* Merge pull request #9745 from johnwhitington/trunkFlorian Angeletti2020-09-151-227/+546
|\
| * Remove false self-referencesJohn Whitington2020-09-111-3/+3
| * Merge remote-tracking branch 'upstream/trunk' into trunkJohn Whitington2020-09-111-0/+1
| |\
| * | Rename tools/unlabel --> tools/sync_stdlib_docsJohn Whitington2020-09-101-11/+12
| * | Final nitsDavid Allsopp2020-08-071-2/+2
| * | "final" fixesJohn Whitington2020-08-061-34/+51
| * | remove double @sincesJohn Whitington2020-08-031-14/+7
| * | Small fixes from @dra27's commentsJohn Whitington2020-08-031-1/+1
| * | Remove unneeded comment, typoJohn Whitington2020-08-011-5/+0
| * | Fix label warningsJohn Whitington2020-07-311-7/+7
| * | Better, simpler, removal of unix type aliasesJohn Whitington2020-07-301-1/+1
| * | Labeled and unlabeled @sinces automaticallyJohn Whitington2020-07-301-7/+14
| * | Fix smaller review comments from @dra27John Whitington2020-07-301-41/+53
| * | Tildes back in labeled modulesJohn Whitington2020-07-291-13/+13
| * | {!Unix.xxx} changed to {!xxx} in docstringsJohn Whitington2020-07-231-96/+96
| * | Fixes per check-typo failureJohn Whitington2020-07-181-12/+18
| * | Unify unixLabels.mli / unix.mli via tools/unlabelJohn Whitington2020-07-171-189/+477
* | | Export, document, and use Unix._exit (#9914)Xavier Leroy2020-09-141-0/+20
| |/ |/|
* | Add Unix.SO_REUSEPORT (#9869)Yishuai Li2020-09-021-0/+1
|/
* fix msg_flag type doc commentzapashcanon2020-03-191-1/+1
* fix sockaddr type doc commentzapashcanon2020-03-191-1/+1
* documentation: use Bigarray consistently (#2208)Florian Angeletti2018-12-201-10/+10
* Deprecate Pervasives (#1605)Jérémie Dimino2018-08-271-3/+3
* GPR#1061 check-typo complianceDavid Allsopp2018-07-011-1/+2
* Add ~follow option to Unix.link (#1061)madroach2018-06-251-3/+12
* Whitespace and overlong line fixes.David Allsopp2018-06-141-1/+2
* Fix docstring of stats.st_rdev in Unix modulesGabor Igloi2018-06-071-2/+2
* Unix: add open_process_args{,_in,_out,_full} (#1792)Nicolás Ojeda Bär2018-05-241-0/+35
* Move bigarray to the stdlib (#1685)Jérémie Dimino2018-04-091-3/+3
* getpw* and getgr* functions raise Unix_error when interrupted (#1451)aalekseyev2017-12-151-4/+4