summaryrefslogtreecommitdiff
path: root/otherlibs
Commit message (Collapse)AuthorAgeFilesLines
...
* minor strengthening of the typing of %{...%} formatsGabriel Scherer2014-05-121-4/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14832 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* introduce type aliases for simple padding and precision typesGabriel Scherer2014-05-121-15/+23
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14825 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Add support for ignored scan_get_counter formats (%_[nlNL])Gabriel Scherer2014-05-121-0/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14820 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* sync threads/pervasives.mlGabriel Scherer2014-05-121-14/+33
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14811 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* second part of Benoît Vaugon's format+gadts patchGabriel Scherer2014-05-121-18/+6
| | | | | | | | | | | | | | | | | | | | | | To finish the bootstrap cycle, run: make library-cross make promote make partialclean make core make library-cross make promote-cross make partialclean make ocamlc ocamllex ocamltools make library-cross make promote make partialclean make core make compare git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14810 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* first part of Benoît Vaugon's format-gadts patchGabriel Scherer2014-05-121-0/+514
| | | | | | | | | | | | | | | After applying this patch, you should run: make library-cross make promote-cross make partialclean make ocamlc ocamllex ocamltools and then immediately apply the following patches until the "second part of Benoît Vaugon's format+gadts patch"; the bootstrap cycle is not finished yet. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14806 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* re-commit Leo's weak-dependencies pull requestJacques Garrigue2014-05-072-36/+46
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14755 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix win32unix (introduction of bytes + immutable strings).Alain Frisch2014-05-041-14/+26
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14735 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* revert commit 14719Jacques Garrigue2014-05-022-46/+36
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14723 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* safe-string: documentation fixes and add a couple of functions in Pervasives ↵Damien Doligez2014-05-011-0/+1
| | | | | | and Digest git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14721 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* weak dependencies with -trans-mod (github/ocamllabs/weak-depends ↵Mark Shinwell2014-05-012-36/+46
| | | | | | 45e980a,21856a7,merge) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14719 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* document __LOC__ in pervasives.mliFabrice Le Fessant2014-04-301-2/+0
| | | | | | | | | Also removes __FILE_OF__ and __MODULE_OF__, since they are not more precise than __FILE__ and __MODULE__ git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14715 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge branch "safe-string"Damien Doligez2014-04-2928-727/+891
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fix some whitespaceDamien Doligez2014-04-251-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14680 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* remove $Id markersDamien Doligez2014-04-1713-26/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14620 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6075: avoid using unsafe C library functions (strcpy, strcat, sprintf).Xavier Leroy2014-04-1523-84/+63
| | | | | | | | | | An ISO C99-compliant C compiler and standard library is now assumed. (Plus special exceptions for MSVC.) In particular, emulation code for 64-bit integer arithmetic was removed, the C compiler must support a 64-bit integer type. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14607 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* [whitespace] bring threads/pervasives.ml closer to stdlib/pervasives.mlGabriel Scherer2014-04-151-53/+55
| | | | | | (report by Hugo Heuzard) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14604 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fix some of the whitespace problems in the sourceDamien Doligez2014-04-127-29/+50
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14582 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Add %loc_* primitives and corresponding values in PervasivesFabrice Le Fessant2014-04-101-0/+14
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14571 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* make clean: remove *.cmt and *.cmti filesDamien Doligez2014-04-071-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14543 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6358: obey DESTDIR in install targetsGabriel Scherer2014-04-075-39/+53
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14536 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge branch 4.01 from 4.01.0 (revision 14115) to branch closure (revision ↵Damien Doligez2014-04-041-2/+2
| | | | | | 14525) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14532 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Get rid of ocamlcomp.sh. The next step is to share all those common ↵Alain Frisch2014-04-025-22/+23
| | | | | | declarations for calling the compilers from various places. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14521 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* #PR6269 Optimized string matchingLuc Maranget2014-03-217-518/+523
| | | | | | | | | Noticed that I had to bootstrap to test on ARM, so I commit a new bootstrap compiler. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14479 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* use -bin-annot when buildingMark Shinwell2014-03-074-4/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14448 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* add #includes to declare the functions enter/leave_blocking_sectionDamien Doligez2014-02-193-0/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14436 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* release the lock in ftruncate, fchown, and fchmodJérémie Dimino2014-01-293-7/+21
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14425 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6183: enhanced documentation for 'Unix.shutdown_connection'Xavier Clerc2014-01-231-1/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14419 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6189, items (10) and (11)Damien Doligez2014-01-222-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14413 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* make bigarray.mli's documentation consistent with the new GADT interfaceGabriel Scherer2014-01-091-18/+33
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14392 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6064: GADT representation for Bigarray.kind + CAML_BA_CHAR runtime kindGabriel Scherer2014-01-096-63/+126
| | | | | | Patch by Jeremy Yallop and Leo P. White git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fix commit 14384Jérémie Dimino2013-12-242-4/+5
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14387 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fix #6276: release the runtime in all stubs that might blockJérémie Dimino2013-12-2322-53/+273
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14384 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fix crashing bug in win32unix/select.cDamien Doligez2013-12-181-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14375 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Reverting the elimination of the ocamlcomp*.sh scripts, namely the following ↵Xavier Leroy2013-11-297-31/+25
| | | | | | | | | | | | | | | | | | | | commits: 14278 14277 14276 14176 14175 14173 14172 14171 14169 14168 14167 These changes need to mature on their own branch. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Simplify special logic for array bound error (allocate the exception value ↵Alain Frisch2013-11-081-3/+8
| | | | | | from Pervasives). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14275 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Rename raise_nostack -> raise_notrace. Expose it in Pervasives.Alain Frisch2013-10-141-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14225 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Keep attributes on value declarations in .cmi files (but clear all the ↵Alain Frisch2013-09-261-0/+2
| | | | | | location fields, except if -keep-locs is used, of course). Use this to report a warning when a value marked as [@@deprecated] is referenced (#5854) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14188 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* build: ocamlmklib on Windows expect a Windows-style path, not a UNIX one.Wojciech Meyer2013-09-223-6/+6
| | | | | | | | | | | | | (Patch by Adrien Nader!) Rev 14168 (build: replace ocamlcomp*.sh.) broke "make world" (but surprisingly, not "world.opt") because the argument to ocamlmklib's -ocamlc has to be a Windows path, i.e. C:\...\ocamlc. Instead it gave a UNIX one, i.e. /home/foo/ocaml/ocamlc. Call cygpath in otherlibs/Makefile.nt to fix that. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14175 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* build: replace ocamlcomp*.sh.Wojciech Meyer2013-09-207-25/+31
| | | | | | | | | | | | | | | | | | This script was built from ocamlcomp.sh.in through sed and is called instead of "ocamlc" (for instance). It makes it possible to switch from "ocamlc" to "ocamlc.opt" without changing anything in the Makefiles, only calling sed. I couldn't cleanly make it handle both a compiler for the target and for the build. Instead I'm replacing it and doing as much as possible directly in the Makefiles. I hoped it would reduce the number of shell invocations, which would speed things up quite a lot on Windows but I still had to have at least one since it's not possible to update a make variable from inside a make rule: i.e. it's not possible to do X=a, build a.opt and update X to be a.opt. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14168 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Remove labltk from the distribution (will be available as a third-party ↵Xavier Clerc2013-09-09280-24825/+0
| | | | | | library). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14077 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix PR#6164Fabrice Le Fessant2013-09-071-1/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14075 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez2013-09-0439-174/+318
| | | | | | | | Command line used: svn merge --accept postpone -r 13776:14055 $REPO/version/4.01 . git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* #6146: emulate Unix.kill with signal = Sys.sigkill under Windows.Alain Frisch2013-09-033-2/+18
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14059 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Synchronize with trunk.Alain Frisch2013-08-2814-23/+86
|\ | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@14042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * PR#4323: have "of_string" in Num and Big_int work with binary and hexa ↵Gabriel Scherer2013-08-042-5/+18
| | | | | | | | | | | | representations [patch by zoep] git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13970 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Follow-up to PR#5568 and commit 13962Xavier Leroy2013-08-011-0/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * PR#5568: add O_CLOEXEC flag to Unix.openfile, so that the returnedXavier Leroy2013-08-016-14/+52
| | | | | | | | | | | | | | | | file descriptor is created in close-on-exec mode. (Reflecting commit r13961 on version/4.01) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13962 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * remove parasitic dependencies in .dependDamien Doligez2013-07-241-100/+60
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13932 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * PR#4243: make the Makefiles parallelizableDamien Doligez2013-07-246-64/+115
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13931 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02