summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* PR#4832: Filling bigarrays may block out runtimeflambda_fork_pointDamien Doligez2015-03-172-14/+53
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15947 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix pretty-printing of extensions in patternsJérémie Dimino2015-03-161-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15945 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix printing of nonrec typesJérémie Dimino2015-03-163-36/+37
| | | | | | | | | | By allowing Trec_next after Trec_not. Also renamed some functions with more explicit names: - map_rec' -> map_rec_type - map_Rec'' -> map_rec_type_with_row_types git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15943 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix printing of sequence of type delcarations with -short-pathsJérémie Dimino2015-03-163-8/+15
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15942 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* (tentative fix) PR#2187: wowcamldebug exit issueDamien Doligez2015-03-131-0/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15936 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Update ChangesJérémie Dimino2015-03-131-0/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15925 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Update printing of nonrec typesJérémie Dimino2015-03-132-5/+15
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15924 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Update ocamldoc and other utilities to support "typeJérémie Dimino2015-03-1310-44/+79
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15923 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ignore rec_flag on "type" items in TranslmodJérémie Dimino2015-03-131-5/+5
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15922 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Support non-recursive typesJérémie Dimino2015-03-134-18/+26
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15921 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Bump ast magic numbersJérémie Dimino2015-03-132-4/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15920 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Add the "nonrec" keyword and allow it on typeJérémie Dimino2015-03-138-31/+46
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15919 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Add rec_flag to type items in the parsetree and typedtreeJérémie Dimino2015-03-133-6/+6
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15918 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fix PR#6812Jacques Garrigue2015-03-132-1/+18
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15917 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* relax ocamldep test to allow for non-ASCII module identifiersDamien Doligez2015-03-121-4/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15915 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* better change log for r15901 (PR#6521)Damien Doligez2015-03-111-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15902 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6521: {Bytes,Char,String}.escaped are locale-dependentDamien Doligez2015-03-1114-49/+89
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15901 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Support far relocations in Win64, using a custom local implementation of ↵Alain Frisch2015-03-114-21/+57
| | | | | | something similar to the GOT table. This allows loading .cmxs units far from the main process. Might fix #6594 as well. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15900 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* #6575: fail early in Array.init when size < 0 to avoid calling the callback ↵Alain Frisch2015-03-112-0/+6
| | | | | | in that case. (Cherry-picked from 4.02, rev 15898.) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15899 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* #6612: attribute in type expressions bind less then product types; ↵Alain Frisch2015-03-112-30/+40
| | | | | | attributes come after constructor/field declarations. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15897 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* #6583: support for custom #... binary operators (also allowing '#' in ↵Alain Frisch2015-03-097-2/+39
| | | | | | trailing symbols, although the operator is then rejected by the type-checker). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15892 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* untypeast: fix Makefile.ntGabriel Scherer2015-03-081-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15890 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* untypeast: small change to avoid producing new compiler warnings.Gabriel Scherer2015-03-081-0/+9
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15889 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* use open recursion in untypeast.mlGabriel Scherer2015-03-083-377/+562
| | | | | | | This allows library user to override the untyping behavior of specific typedtree nodes. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15888 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Update Makefile and .depend for untypeast.Gabriel Scherer2015-03-084-24/+24
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15887 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* move tools/untypeast.ml to typing/untypeast.mlGabriel Scherer2015-03-082-0/+0
| | | | | | | This makes them available in compiler-libs, enabling various uses outside the compiler. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15886 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6452, GPR#140: add internal support for custom printing formatsGabriel Scherer2015-03-086-0/+113
| | | | | | (Jérémie Dimino) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15884 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6794: pass package-specific include flags when building C filesGabriel Scherer2015-03-084-8/+21
| | | | | | (Jérémie Dimino, request by Peter Zotov) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15883 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6791: "%s@[", "%s@{" regression in ScanfGabriel Scherer2015-03-073-1/+14
| | | | | | (Benoît Vaugon) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15881 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* #6804: fix match specialisation when actions are shared.Alain Frisch2015-03-051-5/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15880 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6078: release the runtime system when calling caml_dlopenJérémie Dimino2015-03-052-3/+20
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15878 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6285: add support for nanosecond precision in Unix.stat()Jérémie Dimino2015-03-054-3/+67
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15877 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6664: Crash when finalising lazy values of the wrong type.Damien Doligez2015-03-043-8/+13
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15876 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* misc fixes to gdb-macrosDamien Doligez2015-03-041-3/+13
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15875 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* add the version number to the output of configureDamien Doligez2015-03-041-0/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15874 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Avoid creating empty .asm files when using a binary backend.Alain Frisch2015-02-262-3/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15866 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix PR#6787Jacques Garrigue2015-02-195-11/+29
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15851 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6775: Digest.file leaks file descriptor on errorGabriel Scherer2015-02-152-3/+5
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15840 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* tools: add a file of GDB macros useful for debugging the runtimeDamien Doligez2015-02-124-0/+254
| | | | | | | debugger: add two low-level commands for debugging in tandem with gdb git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15838 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* GPR#143: fix getsockopt behaviour for boolean socket optionsDamien Doligez2015-02-103-1/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15837 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fix the MSVC fixGabriel Scherer2015-02-081-2/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15833 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* meta.c: one more MSVC fixGabriel Scherer2015-02-081-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15832 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* backtrace.c: revert to C89 variable declarations to please MSVC (?!)Gabriel Scherer2015-02-081-19/+28
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15831 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6468: toplevel now supports backtraces if invoked with OCAMLRUNPARAM=bGabriel Scherer2015-02-0817-191/+375
| | | | | | | (Peter Zotov and Jake Donham, review by Gabriel Scherer and Jacques-Henri Jourdan) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15830 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6760: closures evaluated in the toplevel can now be marshalledGabriel Scherer2015-02-085-15/+54
| | | | | | (Peter Zotov, review by Jacques-Henri Jourdan) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15829 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6642: replace $CAMLORIGIN in -ccopt with the path to cma or cmxaGabriel Scherer2015-02-087-9/+37
| | | | | | (Peter Zotov) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15828 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* minor Changes fixGabriel Scherer2015-02-081-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15826 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6749: ocamlopt returns n for (n mod 1) instead of 0Gabriel Scherer2015-02-084-3/+13
| | | | | | (Mark Shinwell and Jérémie Dimino) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15824 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* cmmgen.ml: minor style fixGabriel Scherer2015-02-081-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15823 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* clarify the multiplication trickGabriel Scherer2015-02-071-6/+11
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15821 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status