a3e3ff1 | Damien Doligez | 19 July 2012, 14:37:16 UTC | tagging 4.00.0+rc1 (at last) git-svn-id: http://caml.inria.fr/svn/ocaml/release/4.00.0+rc1@12743 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 19 July 2012, 14:37:16 UTC |
7a5a8e8 | Damien Doligez | 19 July 2012, 12:16:19 UTC | standard ignore git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 19 July 2012, 12:16:19 UTC |
c452c81 | Damien Doligez | 19 July 2012, 11:58:11 UTC | small fixes to the mingw instructions git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12736 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 19 July 2012, 11:58:11 UTC |
5bfe804 | Jacques Garrigue | 18 July 2012, 03:34:36 UTC | Fix PR#5689 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12726 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 July 2012, 03:34:36 UTC |
06add65 | Damien Doligez | 17 July 2012, 18:25:54 UTC | PR#5659: ocamlmklib -L option breaks with MSVC git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12723 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 17 July 2012, 18:25:54 UTC |
c341bb4 | Damien Doligez | 17 July 2012, 18:23:50 UTC | update the cygwin instructions git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12722 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 17 July 2012, 18:23:50 UTC |
79a9096 | Alain Frisch | 17 July 2012, 11:08:09 UTC | Document that the change to Random.float impacts the generated sequences. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12718 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 17 July 2012, 11:08:09 UTC |
0a2be90 | Damien Doligez | 17 July 2012, 07:35:03 UTC | avoid i18n when sorting test results git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12717 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 17 July 2012, 07:35:03 UTC |
2e9d10e | Damien Doligez | 16 July 2012, 20:01:36 UTC | make it work with cygwin's new (X-based) tcl/tk git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12716 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 July 2012, 20:01:36 UTC |
09603fe | Alain Frisch | 16 July 2012, 10:37:03 UTC | #5687: Fix dynlink when used from output-obj'ed main bytecode program. (Cherry-picked from trunk.) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12715 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 July 2012, 10:37:03 UTC |
aeb5687 | Xavier Clerc | 16 July 2012, 08:53:02 UTC | PR#5214: ocamlfind plugin invokes 'cut' utility git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12712 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 July 2012, 08:53:02 UTC |
f6ab176 | Damien Doligez | 13 July 2012, 12:04:52 UTC | revert bogus commit 12708 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12709 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 July 2012, 12:04:52 UTC |
8c0de54 | Damien Doligez | 13 July 2012, 12:03:26 UTC | segfault when specifying invalid allocation policy in OCAMLRUNPARAM git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12708 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 July 2012, 12:03:26 UTC |
d09c841 | Damien Doligez | 13 July 2012, 11:23:13 UTC | Do not try to build shared libraries on architectures where they are not available git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12707 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 July 2012, 11:23:13 UTC |
3b614ee | Fabrice Le Fessant | 13 July 2012, 08:49:06 UTC | export Env.env_of_only_summary needed to rebuild environments git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12706 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 July 2012, 08:49:06 UTC |
8eb991c | Fabrice Le Fessant | 12 July 2012, 15:28:11 UTC | PR#5682: check dont_write_files in Cmt_format.save_cmt git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 July 2012, 15:28:11 UTC |
605acf1 | Fabrice Le Fessant | 12 July 2012, 14:17:39 UTC | Update Changes about when CFI annotations are generated git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12704 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 July 2012, 14:17:39 UTC |
b38931e | Fabrice Le Fessant | 12 July 2012, 14:15:14 UTC | Update Changes about when CFI annotations are generated git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12703 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 July 2012, 14:15:14 UTC |
27e95e1 | Fabrice Le Fessant | 12 July 2012, 10:51:01 UTC | bin-annot: add a field to indicate whether envs have been cleared git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12701 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 July 2012, 10:51:01 UTC |
67b5f3a | Fabrice Le Fessant | 11 July 2012, 17:23:37 UTC | exort Envaux.env_from_summary git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12700 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 11 July 2012, 17:23:37 UTC |
4fcb05f | Fabrice Le Fessant | 11 July 2012, 15:26:15 UTC | Fix PR#5679 : test .line/.loc/.cfi together and use them together git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12699 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 11 July 2012, 15:26:15 UTC |
d1fc6d0 | Fabrice Le Fessant | 11 July 2012, 15:21:08 UTC | Fix conflict between r12681 and r12697 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12698 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 11 July 2012, 15:21:08 UTC |
85f93ce | Fabrice Le Fessant | 11 July 2012, 09:13:03 UTC | Fix bin-annot file size by clearing envs git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12697 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 11 July 2012, 09:13:03 UTC |
e11b240 | Damien Doligez | 10 July 2012, 17:49:46 UTC | PR#5137: caml-types-explore does not work git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12695 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 July 2012, 17:49:46 UTC |
4b240c0 | Damien Doligez | 10 July 2012, 15:25:20 UTC | PR#5218: use $(MAKE) instead of "make" in Makefiles git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12693 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 July 2012, 15:25:20 UTC |
6e399a9 | Damien Doligez | 10 July 2012, 15:20:34 UTC | PR#5218: use $(MAKE) instead of "make" in Makefiles git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12692 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 July 2012, 15:20:34 UTC |
9702074 | Damien Doligez | 10 July 2012, 14:54:19 UTC | PR#5677: do not use "value" as identifier (genprintval.ml) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12689 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 July 2012, 14:54:19 UTC |
02bf489 | Damien Doligez | 10 July 2012, 12:11:46 UTC | PR#5279: executable name is not initialized properly in caml_startup_code git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12687 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 July 2012, 12:11:46 UTC |
8c9ef9f | Gabriel Scherer | 10 July 2012, 11:34:39 UTC | PR#5312: remove the Windows @responsefile feature, that conflicted with '-w @...' command-line warning specifications [breaking change] This change has relatively wide consequences as it modifies the windows OCaml runtime: when the runtime computed the argument vector "argv" passed to the program, it automatically expanded arguments of the form @foo into the content of the filename "foo" (parsed as a sequence of command-line arguments). This means that this "feature" was automatically enabled for all user programs written in OCaml and linking to the usual runtime. This conflicted with the more recent feature of the OCaml *compiler* (which is affected, as an OCaml program), that allows to pass warning specifications of the form "-w @...", for example -w @ae. On windows, it would try to replace it by the content of the file "ae", leading to an error. Given the warning specifications are widely used in OCaml programs (causing silly Windows portability problems), and the @reponsefile is anecdotical at best (at poll [1] on the Caml-list revealed no user using this feature), it was decided to remove @responsefile altogether. [1] see mailing-list thread "[community poll for PR#5312] Do some OCaml Windows users still use the @responsefile feature?" This change affects all OCaml programs compiled under Windows. Users previously relying on the @responsefile feature should now explicitely expand Sys.argv themselves; use Arg.parse_argv to rerun Arg command-line handlers on user-provided string arrays. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12686 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 July 2012, 11:34:39 UTC |
5dd70f3 | Gabriel Scherer | 10 July 2012, 10:02:31 UTC | Tests comming with PR#5644 fix git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12684 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 July 2012, 10:02:31 UTC |
78b9008 | Gabriel Scherer | 10 July 2012, 10:01:57 UTC | PR#5644: Stream.count broken when used with Sapp or Slazy nodes There is a bug in the way concatenating operations work when combined with `Sgen`-defined stream (Stream.from, Stream.of_string): the concatenation functions reset the `count` field to 0, which disturbs the Sgen producer. While the fix in the Scons case is easy (instead of 0, set the count to `original_count - 1`), fixing the Sapp case is more delicate (we can't predict the size of the prepended stream). Our technique is to change the stored left-hand-side to not the stream data only, but the whole stream, count included. Once we detect the prepended stream was completely consumed, we can then restore the count to its previous value, so that Sgen's function can be provided correct count information. This required a change in the internal `get_data` implementation. Slazy-constructed streams have the exact same issue: we don't know their count before forcin them. Again, `get_data` is changed to dynamically update the count at forcing time. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12683 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 July 2012, 10:01:57 UTC |
8e861b9 | Jacques Garrigue | 10 July 2012, 08:33:16 UTC | fix PR#5674: move Texp_poly and Texp_newtype to exp_extra git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12681 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 July 2012, 08:33:16 UTC |
2bc2b7f | Damien Doligez | 09 July 2012, 15:37:59 UTC | PR#5666: C includes don't provide a revision number git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12678 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 July 2012, 15:37:59 UTC |
b1f7ab7 | Damien Doligez | 09 July 2012, 14:15:48 UTC | PR#5597: register names for instrtrace primitives in embedded bytecode git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12677 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 July 2012, 14:15:48 UTC |
58f2b4f | Xavier Clerc | 09 July 2012, 13:15:16 UTC | Follow-up for PR#5655 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12676 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 July 2012, 13:15:16 UTC |
2b2daf2 | Xavier Clerc | 09 July 2012, 12:40:51 UTC | PR#5647: Cannot use install_printer in debugger git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12673 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 July 2012, 12:40:51 UTC |
ace5c8a | Xavier Clerc | 09 July 2012, 10:07:35 UTC | PR#5655: ocamlbuild doesn't pass cflags when building C stubs git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12671 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 July 2012, 10:07:35 UTC |
1e8b824 | Xavier Clerc | 09 July 2012, 09:43:54 UTC | PR#5637: invalid printing of anonymous type parameters (camlp4 revised syntax) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12669 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 July 2012, 09:43:54 UTC |
d5a7a38 | Xavier Clerc | 09 July 2012, 09:07:49 UTC | PR#5651: printer for abstract data type (camlp4 revised syntax) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12667 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 July 2012, 09:07:49 UTC |
51ff9ed | Fabrice Le Fessant | 09 July 2012, 08:35:23 UTC | Fix problem with caml_c_call breaking backtraces on amd64 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12664 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 July 2012, 08:35:23 UTC |
b13cbcc | Jacques Garrigue | 08 July 2012, 07:32:59 UTC | fix wrong parameter name in binary annotation git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12663 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 08 July 2012, 07:32:59 UTC |
34d1fba | Gabriel Scherer | 07 July 2012, 11:41:17 UTC | PR#5628: Add Topdirs.remove_directory (and directive #remove_directory) to remove a directory from the load path git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12661 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 07 July 2012, 11:41:17 UTC |
b826e70 | Xavier Leroy | 06 July 2012, 16:44:24 UTC | PR#5671: initialization of compare_ext field in caml_final_custom_operations() git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12658 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 July 2012, 16:44:24 UTC |
d5278b2 | Jérémie Dimino | 04 July 2012, 16:29:39 UTC | PR#5668: print using the syntax "let f x y z = ..." only when the pattern is an identifier This form is incorrect when the pattern is not an identifier. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12657 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 July 2012, 16:29:39 UTC |
9059dbc | Damien Doligez | 27 June 2012, 12:32:46 UTC | PR#5661: fixes for the test suite git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12650 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 27 June 2012, 12:32:46 UTC |
150db20 | Damien Doligez | 27 June 2012, 12:29:20 UTC | PR#5661: fixes for the test suite git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12649 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 27 June 2012, 12:29:20 UTC |
44e1e4b | Damien Doligez | 26 June 2012, 15:36:39 UTC | PR#5255: natdynlink detection on powerpc, hurd, sparc git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12646 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 26 June 2012, 15:36:39 UTC |
d70eeb1 | Damien Doligez | 26 June 2012, 15:33:50 UTC | PR#5255: natdynlink detection on powerpc, hurd, sparc git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12645 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 26 June 2012, 15:33:50 UTC |
70fc137 | Fabrice Le Fessant | 25 June 2012, 12:02:16 UTC | Fix ENOMEM problem on Windows when reading from terminal git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12641 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 25 June 2012, 12:02:16 UTC |
76427f6 | Alain Frisch | 21 June 2012, 17:10:58 UTC | #5657: cherry picking fixes from trunk (12636, 12637). git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12638 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 June 2012, 17:10:58 UTC |
2fe6556 | Damien Doligez | 21 June 2012, 16:24:15 UTC | follow up of commit 12629 (PR#5131) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12634 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 June 2012, 16:24:15 UTC |
55f7f45 | Damien Doligez | 21 June 2012, 15:55:03 UTC | PR#5131: compilation of custom runtime with g++ generates lots of warnings git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12629 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 June 2012, 15:55:03 UTC |
c6c0f8e | Damien Doligez | 21 June 2012, 15:54:19 UTC | ignore generated files git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12628 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 June 2012, 15:54:19 UTC |
a944942 | Damien Doligez | 21 June 2012, 13:43:03 UTC | PR#5233: finaliser on weak array gives dangling pointers (crash) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12625 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 June 2012, 13:43:03 UTC |
e032a36 | Xavier Leroy | 21 June 2012, 13:27:47 UTC | Small problem with Power arch git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12624 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 June 2012, 13:27:47 UTC |
369c233 | Maxence Guesdon | 21 June 2012, 05:55:55 UTC | Update Changes for PR5645 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12623 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 June 2012, 05:55:55 UTC |
bd10163 | Maxence Guesdon | 21 June 2012, 05:46:28 UTC | PR#5645: ocamldoc doesn't handle module/type substitution in signatures git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12622 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 June 2012, 05:46:28 UTC |
7315ac5 | Damien Doligez | 20 June 2012, 15:39:09 UTC | fix crash caused by integer overflow on 32-bit machines git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12621 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 June 2012, 15:39:09 UTC |
cc4e984 | Damien Doligez | 20 June 2012, 13:17:14 UTC | remove temp files; fix long lines git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12620 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 June 2012, 13:17:14 UTC |
cdc0c25 | Damien Doligez | 19 June 2012, 14:17:41 UTC | fix missing "failed" message when .checker is present git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12618 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 19 June 2012, 14:17:41 UTC |
6b4a31c | Jacques Garrigue | 19 June 2012, 11:03:53 UTC | bootstrap camlp4 to fix PR#5633 (slow parsing) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12617 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 19 June 2012, 11:03:53 UTC |
123b2cf | Jacques Garrigue | 19 June 2012, 10:51:33 UTC | applied (improved) patch of PR#5654 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12616 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 19 June 2012, 10:51:33 UTC |
b34e1eb | Xavier Leroy | 17 June 2012, 08:15:25 UTC | PR#5643: issues with .cfi and .loc directives generated by ocamlopt -g Applied patches debuginfo-is-none and configure-cfi-detect from this PR. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12610 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 17 June 2012, 08:15:25 UTC |
e0f60b4 | Jacques Garrigue | 14 June 2012, 10:47:30 UTC | Fix stack overflow by checking cycles for all types before regularity git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12609 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 14 June 2012, 10:47:30 UTC |
91d8464 | Jacques Garrigue | 13 June 2012, 23:52:44 UTC | Fix PR#5073: Wrong location for 'Unbound record field label' error git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12607 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 June 2012, 23:52:44 UTC |
ced76ff | Jacques Garrigue | 13 June 2012, 22:07:18 UTC | Fix constraint checking regression; one stack overflow remains in typing-misc/constraints.ml git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12604 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 June 2012, 22:07:18 UTC |
0633af3 | Jacques Garrigue | 13 June 2012, 08:57:36 UTC | Fix (type a) scope, was broken by gadt addition git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12600 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 June 2012, 08:57:36 UTC |
d33b83b | Jérémie Dimino | 12 June 2012, 16:18:57 UTC | PR#5646: reapply the fix for PR#5442 It was reverted when the bin-annot branch was merged git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12596 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 June 2012, 16:18:57 UTC |
9ed965c | Jacques Garrigue | 09 June 2012, 09:02:18 UTC | add solaris 64/32 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12594 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 June 2012, 09:02:18 UTC |
8c569ab | Maxence Guesdon | 08 June 2012, 18:50:20 UTC | do not put compiler-libs in odoc_info library git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12593 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 08 June 2012, 18:50:20 UTC |
4f8fbb6 | Alain Frisch | 08 June 2012, 15:31:29 UTC | #5640: use open_in_bin to read cmt files. (Cherry-picked from trunk r12591.) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12592 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 08 June 2012, 15:31:29 UTC |
4b8d52c | Alain Frisch | 08 June 2012, 13:24:51 UTC | #5639: Write cmt files with open_out_bin. (Cherry-picked from trunk r12589.) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12590 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 08 June 2012, 13:24:51 UTC |
8a549f6 | Alain Frisch | 08 June 2012, 12:54:49 UTC | #5638: .a -> .a/.lib in Makefile.nt. (Cherry-picked from trunk r12587.) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12588 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 08 June 2012, 12:54:49 UTC |
a207623 | Xavier Leroy | 08 June 2012, 11:35:37 UTC | PR#5636: issue with pthread_atfork in glibc git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12585 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 08 June 2012, 11:35:37 UTC |
a9eb281 | Xavier Leroy | 07 June 2012, 12:19:23 UTC | The divw PowerPC instruction doesn't handle min_int / -1 the way we want, so activate same workaround as for x86 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12583 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 07 June 2012, 12:19:23 UTC |
f30c870 | Xavier Leroy | 07 June 2012, 12:17:44 UTC | Try harder to get a prototyped decl for pwrite(). Otherwise, a wrong call to pwrite() is generated on 32-bit platforms with 64-bit file offsets. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12582 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 07 June 2012, 12:17:44 UTC |
7d70932 | Damien Doligez | 06 June 2012, 15:48:38 UTC | add message when compilation fails git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12581 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 June 2012, 15:48:38 UTC |
2fcefb3 | Damien Doligez | 06 June 2012, 15:48:08 UTC | fix wrong commit git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12580 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 June 2012, 15:48:08 UTC |
a258279 | Damien Doligez | 06 June 2012, 15:46:37 UTC | fix wrong commit git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12579 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 June 2012, 15:46:37 UTC |
0944592 | Damien Doligez | 06 June 2012, 15:06:56 UTC | fix wrong number on "unused open warning" feature git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12573 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 June 2012, 15:06:56 UTC |
7a90034 | Damien Doligez | 05 June 2012, 18:21:50 UTC | typo in doc git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12571 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 05 June 2012, 18:21:50 UTC |
323dc01 | Damien Doligez | 04 June 2012, 17:02:56 UTC | increase post-release 4.00.0+beta2 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12568 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 June 2012, 17:02:56 UTC |
1eec5f3 | Damien Doligez | 04 June 2012, 16:33:59 UTC | preparing release 4.00.0+beta2 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12566 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 June 2012, 16:33:59 UTC |
d4ef9cb | Damien Doligez | 04 June 2012, 15:23:13 UTC | throw away spurious error message git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12562 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 June 2012, 15:23:13 UTC |
d02e161 | Damien Doligez | 04 June 2012, 14:45:10 UTC | ignore ocamlrund.exe git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12561 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 June 2012, 14:45:10 UTC |
5f4cfe9 | Damien Doligez | 04 June 2012, 14:06:15 UTC | adapt to Windows end-of-line git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12560 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 June 2012, 14:06:15 UTC |
a31e62d | Damien Doligez | 04 June 2012, 14:05:22 UTC | ignore generated file tscanf_data git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12559 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 June 2012, 14:05:22 UTC |
5cfe54a | Damien Doligez | 04 June 2012, 13:06:50 UTC | throw away all error messages git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12558 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 June 2012, 13:06:50 UTC |
ce14493 | Damien Doligez | 04 June 2012, 12:47:29 UTC | adapt ignores to cygwin git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12557 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 June 2012, 12:47:29 UTC |
bcabcd4 | Damien Doligez | 04 June 2012, 12:46:49 UTC | adapt ignores to cygwin git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12556 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 June 2012, 12:46:49 UTC |
7159693 | Damien Doligez | 04 June 2012, 12:44:17 UTC | remove and ignore generated file tscanf_data git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12555 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 June 2012, 12:44:17 UTC |
50970df | Damien Doligez | 04 June 2012, 12:41:43 UTC | adapt to 32-bit machines git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12554 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 June 2012, 12:41:43 UTC |
ffe179d | Jonathan Protzenko | 04 June 2012, 12:39:11 UTC | Fix compilation of ocamldoc on Windows after the binannot merge. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 June 2012, 12:39:11 UTC |
a119893 | Damien Doligez | 04 June 2012, 12:18:53 UTC | fix test for cygwin git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12552 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 June 2012, 12:18:53 UTC |
0700232 | Damien Doligez | 04 June 2012, 11:40:59 UTC | small changes to work under cygwin git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12551 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 June 2012, 11:40:59 UTC |
2595ee7 | Alain Frisch | 04 June 2012, 10:02:17 UTC | #5632: with-constraints count as references. (Cherry-picked from trunk r12549.) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12550 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 June 2012, 10:02:17 UTC |
1bf9442 | Benedikt Meurer | 02 June 2012, 18:00:43 UTC | [arm] Handle backward jumps properly with TBH (PR#5623). The Thumb-2 TBH instruction supports only forward jumps, which is what is usually generated for Lswitch. But in some rare cases, the compiler can generate backward jumps for Lswitch. To properly support these cases, we emit appropriate trampolines (following the TBH) for these backward jumps as necessary. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 02 June 2012, 18:00:43 UTC |
ddd4861 | Alain Frisch | 01 June 2012, 14:06:31 UTC | #5629: A toplevel 'open' in the REPL does not trigger an unused open warning. (Cherry-picked from trunk r12541.) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12542 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 01 June 2012, 14:06:31 UTC |
851ce64 | Damien Doligez | 01 June 2012, 14:00:55 UTC | increase post-beta1 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 01 June 2012, 14:00:55 UTC |
bce7824 | Alain Frisch | 01 June 2012, 08:20:22 UTC | Fix #5631: Missed unused open. (Cherry-picked from trunk r12537.) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12538 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 01 June 2012, 08:20:22 UTC |