summaryrefslogtreecommitdiff
path: root/otherlibs
Commit message (Collapse)AuthorAgeFilesLines
...
* PR#7096: fix superscripts in big_int documentationGabriel Scherer2015-12-171-5/+5
|
* unix.mli: Use @raise wherever fitChristophe Troestler2015-12-131-24/+35
|
* unix.mli: Use "on Windows" everywhereChristophe Troestler2015-12-131-12/+12
|
* Specify in unix.mli which functions are implemented on WindowsChristophe Troestler2015-12-131-62/+143
| | | | Fixes http://caml.inria.fr/mantis/view.php?id=5253
* Merge pull request #331 from ocaml/win32-socketsXavier Leroy2015-12-093-32/+6
|\ | | | | Windows sockets in asynchronous mode
| * Branch win32-sockets: add documentation, update Changes.Xavier Leroy2015-12-041-0/+6
| |
| * Experiment: Win32 sockets in non-synchronous mode.Xavier Leroy2015-11-302-32/+0
| | | | | | | | This is an attempt to address PR#4466, #5325, #6771. Not tested yet.
* | Merge pull request #320 from gasche/revert-user-defined-indexing-operatorsGabriel Scherer2015-12-063-83/+0
|\ \ | | | | | | Revert user defined indexing operators
| * | Revert "Simplify the use of custom .() and .[]"Gabriel Scherer2015-11-291-9/+0
| | | | | | | | | | | | | | | | | | | | | This reverts commit 7e47735db8bbc4e54e1653d218cc1e6c90813ba4. (Again, this required manual conflict resolution in parsing/parser.mly, due to the change in argument label type)
| * | Revert "Simplify the definition of custom .{} operators"Gabriel Scherer2015-11-292-74/+0
| |/ | | | | | | | | | | | | This reverts commit 4a80e9da1114cb1e351a8c61cab6f04e6c1ba927. (The revert required some manual conflict resolution because of use of function argument labels in the parser.)
* | PR#6289: Unix.utimes uses the current time only if both arguments are ↵Xavier Leroy2015-12-062-31/+34
| | | | | | | | | | | | exactly 0.0 Also: use utimes() in preference to utime() so as to get sub-second resolution.
* | PR#6108, PR#6802: fail cleanly if dynlink.cma or ocamltoplevel.cma are ↵Xavier Leroy2015-12-061-0/+3
| | | | | | | | loaded inside the toplevel loop
* | PR#6989: in Str library, make sure that all \(...\) groups are binding and ↵Xavier Leroy2015-12-062-83/+96
| | | | | | | | | | | | | | | | | | | | can be consulted with Str.matched_group. There used to be a limitation to 32 binding groups, which is now lifted by dynamically allocating the groups data if it is too big. Also: - Modernize strstubs.c to use the Caml namespace - Fixed a potential bug with backreferences \\n referring to a nonexistent group.
* | Add module to deal with 'front-end' built-in attributes.alainfrisch2015-12-021-0/+1
|/
* PR#7038: out of memory condition in caml_io_mutex_lockXavier Leroy2015-11-271-1/+1
| | | | Check the return code of st_mutex_create so that, in particular, out-of-memory conditions cause an exception.
* PR#7024: in documentation of Str regular expressions, clarify what "end of ↵Xavier Leroy2015-11-261-4/+4
| | | | line" means for "^" and "$" regexps.
* PR#6945 and GPR#227: protect Sys and Unix functions against string arguments ↵Xavier Leroy2015-11-161-1/+1
| | | | | | | containing the null character '\000' Continuation of commit dc043a7. Fix wrong declaration of cstringvect.
* PR#4023 and GPR#68: add Unix.sleepf and improve Unix.sleepXavier Leroy2015-11-161-0/+1
| | | | Follow-up to commit 50648ed: update otherlibs/threads.
* PR#4023 and GPR#68: add Unix.sleepf and improve Unix.sleepXavier Leroy2015-11-155-7/+57
| | | | | | | Unix.sleepf provides sleep with sub-second resolution. Unix.sleep is implemented on top of Unix.sleepf. If a handled signal causes the sleep to return early with an EINTR error, catch it and restart the sleep for the remaining time.
* PR#6945 and GPR#227: protect Sys and Unix functions against string arguments ↵Xavier Leroy2015-11-156-2/+20
| | | | | | | | | | | | containing the null character '\000' Continuation of commit dc043a7. The following otherlibs/unix/ functions were not protected: unix_inet_of_string unix_getgrnam unix_getpwnam unix_initgroups unix_readlink unix_utimes
* PR#6945 and GPR#227: protect Sys and Unix functions against string arguments ↵Xavier Leroy2015-11-137-10/+25
| | | | | | | | containing the null character '\000' Continuation of commits dc043a7 and 9dfa69e: - Add checks for the command-line arguments and for the environment variables passed via Unix.exec* and variants.
* PR#6945 and GPR#227: protect Sys and Unix functions against string arguments ↵Xavier Leroy2015-11-1110-9/+22
| | | | | | | | containing the null character '\000' Continuation of commit dc043a7: - Update the win32unix/ files with the new checks. - Completely untested, not even compiled.
* PR#6945 and GPR#227: protect Sys and Unix functions against string arguments ↵Xavier Leroy2015-11-1127-1/+54
| | | | | | | | | | | | | | containing the null character '\000' Implementation notes: - Based on c-cube's GPR#227 code, but many Unix functions were missing. - For Unix.bind and Unix.connect to a PF_UNIX address, tolerate file names whose first character is '\000': in Linux, these have a meaning as "abstract socket addresses", and in other operating systems, the resulting empty path name causes a EINVAL error (tested under MacOS X). - Very lightly tested. - win32unix remains to be fixed.
* PR#7039: Unix.getsockname returns garbage for unnamed PF_UNIX sockets.Xavier Leroy2015-11-111-1/+8
| | | | Fix implemented: return ADDR_UNIX "" in this case (the file name is the empty string).
* simplify .gitignore; remove .ignore files and tools/setignore; adjust ↵Damien Doligez2015-11-065-36/+0
| | | | tools/check-typo
* Make `Pervasives.ldexp` unboxed and noallocFrançois Bobot2015-11-051-1/+2
|
* Merge branch 'trunk' of github.com:ocaml/ocaml into unbox_classify_floatalainfrisch2015-11-036-8/+6
|\
| * otherlibs/*unix: proper declaration of cstringvect()Xavier Leroy2015-11-035-5/+3
| | | | | | | | Share the declaration in "unixsupport.h", and give it a full prototype.
| * otherlibs/unix: don't use 'h_errno' as a local variableXavier Leroy2015-11-031-3/+3
| | | | | | | | Under Glibc, 'h_errno' is a macro that expands to a system call, like 'errno'. Here, we just want a local variable.
* | Also adapt threads/pervasives.ml.alainfrisch2015-10-281-1/+2
|/
* PR#7013: spurious wake-up in the Event module.Xavier Leroy2015-10-111-1/+3
| | | | | | | Tentative fix, to be tested. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16490 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Delete historical french comments in num libraryGabriel Scherer2015-10-094-19/+1
| | | | | | (user 'octachron') git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16480 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Translation of french comments in num libraryGabriel Scherer2015-10-093-31/+41
| | | | | | (user 'octachron') git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16479 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Replace uses of "float" by [@@unboxed] [@@noalloc]Jérémie Dimino2015-10-061-22/+38
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16456 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Replace uses of "noalloc" by [@@noalloc]Jérémie Dimino2015-10-063-6/+6
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16455 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Support [@@noalloc] on external declarationsJérémie Dimino2015-10-061-1/+1
| | | | | | This is to replace the "noalloc" annotation. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16454 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-119-116/+196
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Support for PowerPC 64 bits big- and little-endian. Revised PowerPC 32 bits ↵Xavier Leroy2015-08-252-2/+2
|\ | | | | | | | | | | | | | | | | support. Merge of branch 'ppc64'. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16374 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Update wrt trunk, revision 16361.Xavier Leroy2015-08-203-13/+14
| |\ | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/ppc64@16362 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * \ Update wrt trunk r16339.Xavier Leroy2015-08-063-9/+18
| |\ \ | | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/ppc64@16340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * \ \ Update wrt trunk r16319.Xavier Leroy2015-08-0320-758/+842
| |\ \ \ | | | | | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/ppc64@16320 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | | | PowerPC port of ocamlopt:Xavier Leroy2015-07-202-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - Removed MacOS X support, long dead. - Added support for PowerPC 64 bits, big-endian, ELF v1 ABI (tested, mostly works, some issues remain with marshaling of code pointers) - Added support for PowerPC 64 bits, little-endian, ELF v2 ABI (completely untested) git-svn-id: http://caml.inria.fr/svn/ocaml/branches/ppc64@16226 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | | | | Document backtrace infrastructure, make types more explicitGabriel Scherer2015-08-222-2/+2
| |_|_|/ |/| | | | | | | | | | | | | | | | | | | From: Frédéric Bour <frederic.bour@lakaban.net> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16366 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | | | so the dynlink -jN race wasn't quite fixedGabriel Scherer2015-08-161-1/+1
| | | | | | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16354 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | | | make alldependGabriel Scherer2015-08-152-12/+12
| | | | | | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16352 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | | | dynlink/Makefile: make dynlink.cmi depend on dynlinkaux.cmi to avoid -jN racesGabriel Scherer2015-08-151-1/+2
| |_|/ |/| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16345 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | | unix_gethostbyname: using a variable outside of its scope.Xavier Leroy2015-08-041-6/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | In the case HAS_GETHOSTBYNAME_R == 6, hp may point into h or into buffer, so don't end the scope of h and buffer before hp is used. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | | more CAMLnoreturn_end goodnessGabriel Scherer2015-08-042-3/+12
| |/ |/| | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | make alldependGabriel Scherer2015-08-027-728/+681
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16318 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | GPR#221: keep Noreturn and add CAMLnoreturn_{start,end}Gabriel Scherer2015-08-022-3/+3
| | | | | | | | | | | | (Bernhard Schommer) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16313 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status