e6949f2 | Fabrice Le Fessant | 21 May 2012, 12:22:23 UTC | bin-annot: improved 'read_cmt' tool. Abstract Env.t . git-svn-id: http://caml.inria.fr/svn/ocaml/branches/4.00-with-binannot@12470 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 May 2012, 12:22:23 UTC |
758901f | Fabrice Le Fessant | 11 May 2012, 17:45:21 UTC | bin-annot: after camlp4 bootstrap git-svn-id: http://caml.inria.fr/svn/ocaml/branches/4.00-with-binannot@12447 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 11 May 2012, 17:45:21 UTC |
5e6daec | Fabrice Le Fessant | 11 May 2012, 09:23:54 UTC | bin-annot: fix ocamlbuild configuration files git-svn-id: http://caml.inria.fr/svn/ocaml/branches/4.00-with-binannot@12446 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 11 May 2012, 09:23:54 UTC |
611b1bb | Fabrice Le Fessant | 11 May 2012, 08:59:42 UTC | bin-annot: add Printtyped module git-svn-id: http://caml.inria.fr/svn/ocaml/branches/4.00-with-binannot@12445 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 11 May 2012, 08:59:42 UTC |
97123c4 | Fabrice Le Fessant | 10 May 2012, 15:29:38 UTC | bin-annot: follow Jacques Garrigue recommendations - rename pat_contraints to pat_extra, and exp_constraints to exp_extra - move Texp_open node to exp_extra - move fst?/snd?/thd? to misc.ml also, and str_final_env and sig_final_env to get the final environment of a structure/signature, and put the final env in Texp_open git-svn-id: http://caml.inria.fr/svn/ocaml/branches/4.00-with-binannot@12444 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 May 2012, 15:29:38 UTC |
5ccc460 | Fabrice Le Fessant | 09 May 2012, 13:57:25 UTC | bin-annot: removed Obj.magic from Env, safer constraints in Typedtree git-svn-id: http://caml.inria.fr/svn/ocaml/branches/4.00-with-binannot@12443 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 May 2012, 13:57:25 UTC |
eb753ad | Fabrice Le Fessant | 03 May 2012, 13:01:01 UTC | Added the read_cmt tool to bin-annot, to read a .cmt and dump either the corresponding .annot or the original source. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/4.00-with-binannot@12426 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 03 May 2012, 13:01:01 UTC |
38ca9d6 | Fabrice Le Fessant | 03 May 2012, 10:07:04 UTC | Improved bin-annot, passes all the testsuite git-svn-id: http://caml.inria.fr/svn/ocaml/branches/4.00-with-binannot@12423 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 03 May 2012, 10:07:04 UTC |
14bb2a8 | Fabrice Le Fessant | 02 May 2012, 14:36:55 UTC | Improved version of bin-annot git-svn-id: http://caml.inria.fr/svn/ocaml/branches/4.00-with-binannot@12414 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 02 May 2012, 14:36:55 UTC |
250699c | Fabrice Le Fessant | 26 April 2012, 15:22:50 UTC | add a Cmi_format compilation unit, with input/output functions for interface files git-svn-id: http://caml.inria.fr/svn/ocaml/branches/4.00-with-binannot@12406 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 26 April 2012, 15:22:50 UTC |
717be87 | Fabrice Le Fessant | 26 April 2012, 13:20:09 UTC | step 1: replace uses of Lazy in Env by an emulation to be able to marshal typedtrees git-svn-id: http://caml.inria.fr/svn/ocaml/branches/4.00-with-binannot@12404 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 26 April 2012, 13:20:09 UTC |
6ece7c3 | Wojciech Meyer | 26 April 2012, 00:17:16 UTC | PR#5531: Allow ocamlbuild to add ocamldoc flags through -docflag and -docflags switches. Cherry picked SVN revisions r12395 and r12401 from trunk git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12402 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 26 April 2012, 00:17:16 UTC |
55a266b | Alain Frisch | 25 April 2012, 07:36:18 UTC | #5601: Shouldn't warn about unused constructors when there is an equation. (Cheery-picked from trunk commit 12397.) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12398 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 25 April 2012, 07:36:18 UTC |
63578b1 | Jacques Garrigue | 25 April 2012, 05:37:57 UTC | disable unused warnings for identifiers defined in the toplevel git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 25 April 2012, 05:37:57 UTC |
f3e4cae | Wojciech Meyer | 25 April 2012, 00:40:46 UTC | PR#5318: Non-recursive version of extern_rec, to allow marshaling of deeper data structures. Cherry picked SVN rev r12247, r12250, r12271 and r12393 from trunk git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 25 April 2012, 00:40:46 UTC |
1a88222 | Wojciech Meyer | 23 April 2012, 21:33:59 UTC | PR#5318: Unroll recursion in un-marshaller to allow un-marshaling values of arbitral depth. Per advice of Xavier Leroy used defunctionalized continuation trick git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12392 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 23 April 2012, 21:33:59 UTC |
f0504ca | Damien Doligez | 20 April 2012, 15:34:56 UTC | typos git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12388 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 April 2012, 15:34:56 UTC |
a80ff6e | Damien Doligez | 20 April 2012, 15:33:56 UTC | rename caml to ocaml in temp file names and used a distinct name for each tool git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12387 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 April 2012, 15:33:56 UTC |
7616cea | Damien Doligez | 20 April 2012, 15:33:00 UTC | PR#5587: "allows to" is incorrect (documentation) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 April 2012, 15:33:00 UTC |
a89990b | Xavier Leroy | 19 April 2012, 13:12:23 UTC | - Hashtbl: . Added optional "random" parameter to Hashtbl.create to randomize collision patterns and improve security (PR#5572, CVE-2012-0839) . Added "randomize" function and "R" parameter to OCAMLRUNPARAM to turn randomization on by default (PR#5572, CVE-2012-0839) - Filename: on-demand (lazy) initialization of the PRNG used by "temp_file". git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12383 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 19 April 2012, 13:12:23 UTC |
b74ea8e | Xavier Leroy | 19 April 2012, 13:00:00 UTC | PR#5582: bad dependency on /opt/local/include/X11 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12381 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 19 April 2012, 13:00:00 UTC |
92ff11a | Alain Frisch | 18 April 2012, 18:46:17 UTC | #5596: Do not report unused constructors within signatures. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12379 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 April 2012, 18:46:17 UTC |
9549ee9 | Damien Doligez | 18 April 2012, 11:49:06 UTC | remove leftover debugging message git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12373 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 April 2012, 11:49:06 UTC |
94f0907 | Alain Frisch | 18 April 2012, 09:02:28 UTC | Improve message for Unused constructor/exception warnings. (Cherry-picked from trunk, commit 12371.) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12372 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 April 2012, 09:02:28 UTC |
719fced | Damien Doligez | 17 April 2012, 08:20:35 UTC | PR#5389: compaction sometimes leaves a very large heap git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12364 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 17 April 2012, 08:20:35 UTC |
09ad3d1 | Damien Doligez | 16 April 2012, 17:40:46 UTC | remove redundant colon in norepeat mode for the toplevel git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12362 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 April 2012, 17:40:46 UTC |
737ba13 | Alain Frisch | 16 April 2012, 16:37:38 UTC | Typo. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12361 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 April 2012, 16:37:38 UTC |
8b2ac14 | Alain Frisch | 16 April 2012, 16:32:15 UTC | #5594: Unused constructors are not reported if their type starts with underscore. (Cherry-picked from trunk, commit 12358.) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 April 2012, 16:32:15 UTC |
1f4a891 | Alain Frisch | 16 April 2012, 15:27:42 UTC | #5593: Remove C file when -output-obj fails. (Cherry-picked from trunk, commit 12356.) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12357 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 April 2012, 15:27:42 UTC |
39fd96e | Damien Doligez | 13 April 2012, 13:49:23 UTC | trivial fix following commit 12221 in ocamldoc git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12354 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 April 2012, 13:49:23 UTC |
0484f4a | Damien Doligez | 13 April 2012, 12:43:24 UTC | PR#5585: typo explicitely -> explicitly git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12352 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 April 2012, 12:43:24 UTC |
b2b702c | Jacques Garrigue | 13 April 2012, 09:19:29 UTC | change destcription of warnings 7 and 13 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12351 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 April 2012, 09:19:29 UTC |
240d25a | Alain Frisch | 12 April 2012, 17:54:01 UTC | Cherry-picking r12348 from trunk (fix #5588). git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12349 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 April 2012, 17:54:01 UTC |
3efa92f | Jérémie Dimino | 11 April 2012, 21:34:42 UTC | Set the revised syntax of GADTs git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12345 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 11 April 2012, 21:34:42 UTC |
2c38330 | Maxence Guesdon | 11 April 2012, 20:40:20 UTC | ado not keep code when not told to keep code git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12344 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 11 April 2012, 20:40:20 UTC |
646af2e | Maxence Guesdon | 11 April 2012, 16:46:30 UTC | convert comments to utf-8 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12341 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 11 April 2012, 16:46:30 UTC |
164d215 | Alain Frisch | 11 April 2012, 03:51:09 UTC | Typo. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12339 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 11 April 2012, 03:51:09 UTC |
4ea6b59 | Jérémie Dimino | 10 April 2012, 21:18:02 UTC | PR#5579: always create a new token stream before parsing a phrase so new filters are applied git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12337 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 April 2012, 21:18:02 UTC |
70960e2 | Damien Doligez | 10 April 2012, 15:08:10 UTC | PR#5575: Random states are not marshallable across architectures git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12333 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 April 2012, 15:08:10 UTC |
373d440 | Damien Doligez | 10 April 2012, 14:07:40 UTC | PR#5501: increase IO_BUFFER_SIZE to 64KiB git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12331 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 April 2012, 14:07:40 UTC |
2403a67 | Damien Doligez | 10 April 2012, 14:07:00 UTC | update .ignore git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12330 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 April 2012, 14:07:00 UTC |
606f5c7 | Damien Doligez | 10 April 2012, 14:05:38 UTC | update expected result after changes to stdlib/random.ml git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 April 2012, 14:05:38 UTC |
a9a7fba | Damien Doligez | 10 April 2012, 11:43:57 UTC | update dependencies and bootstrap compilers git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12328 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 April 2012, 11:43:57 UTC |
a7fbf91 | Xavier Leroy | 09 April 2012, 10:22:59 UTC | PR#3571: in Bigarrays, call msync() before unmapping to commit changes PR#5463: Bigarray.*.map_file fail if empty array is requested Bigarray: added "release" functions that free memory and file mappings just like GC finalization does eventually, but does it immediately. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 April 2012, 10:22:59 UTC |
e517a32 | Xavier Leroy | 08 April 2012, 17:11:47 UTC | PR#5295: OS threads: problem with caml_c_thread_unregister() git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12324 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 08 April 2012, 17:11:47 UTC |
6deeb15 | Jonathan Protzenko | 04 April 2012, 13:03:34 UTC | CFI directives are not supported on Windows. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12321 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 April 2012, 13:03:34 UTC |
c3a75f2 | Jonathan Protzenko | 04 April 2012, 12:57:24 UTC | Update the Makefiles on Windows to reflect the fact that compiling camlp4 is now opt-out. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12319 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 April 2012, 12:57:24 UTC |
8e4069c | Xavier Leroy | 04 April 2012, 12:11:13 UTC | PR#5543: in Bigarray.map_file, try to avoid using lseek() when growing file git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 April 2012, 12:11:13 UTC |
68b82c2 | Xavier Leroy | 03 April 2012, 13:49:17 UTC | PR#5516 continued: it seems that some compilers define __GNUC__ yet don't implement flexible arrays as a GCC extension, so use flex arrays iff C99. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12311 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 03 April 2012, 13:49:17 UTC |
ec5bd68 | Jonathan Protzenko | 02 April 2012, 15:17:25 UTC | Remove obsolete hack in OCamlbuild for Windows. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 02 April 2012, 15:17:25 UTC |
07a122b | Jonathan Protzenko | 02 April 2012, 15:17:24 UTC | Followup fix to PR#5435. Implement the infamous '' hack for cmd.exe running bash -c. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 02 April 2012, 15:17:24 UTC |
8f73533 | Jonathan Protzenko | 02 April 2012, 15:17:24 UTC | Better detection of .exe files on Windows, fix #5435 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 02 April 2012, 15:17:24 UTC |
33aaa78 | Damien Doligez | 31 March 2012, 22:15:08 UTC | PR#5310: Ratio.create_ratio/create_normalized_ratio have misleading names git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 31 March 2012, 22:15:08 UTC |
9ae2e94 | Damien Doligez | 31 March 2012, 22:10:34 UTC | PR#5310: Ratio.create_ratio/create_normalized_ratio have misleading names git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12301 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 31 March 2012, 22:10:34 UTC |
40a03b6 | Damien Doligez | 31 March 2012, 20:52:55 UTC | PR#5311: better message for warning 23 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 31 March 2012, 20:52:55 UTC |
927ee09 | Jacques Garrigue | 29 March 2012, 06:55:21 UTC | merge from trunk (commits 12289 and 12290) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 March 2012, 06:55:21 UTC |
86d260e | Damien Doligez | 28 March 2012, 07:47:39 UTC | followup to commit 12254: add ocamloptp to "make world.opt" git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12288 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 28 March 2012, 07:47:39 UTC |
ea6a9fd | Jacques Garrigue | 28 March 2012, 00:44:58 UTC | Fix PR#5560 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12287 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 28 March 2012, 00:44:58 UTC |
3fec594 | Damien Doligez | 27 March 2012, 15:04:15 UTC | PR#5538: combining -i and -annot in ocamlc git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 27 March 2012, 15:04:15 UTC |
ff37ddd | Damien Doligez | 27 March 2012, 14:30:40 UTC | PR#5552 unrecognized gcc option "-no-cpp-precomp" git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 27 March 2012, 14:30:40 UTC |
1499912 | Alain Frisch | 26 March 2012, 18:20:24 UTC | #5551: Cherry-picking r12251 from trunk. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12279 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 26 March 2012, 18:20:24 UTC |
e420d6d | Alain Frisch | 26 March 2012, 17:36:19 UTC | Cherry-picking from trunk: 12263, 12264, 12276. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12277 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 26 March 2012, 17:36:19 UTC |
45eee6d | Alain Frisch | 26 March 2012, 17:18:30 UTC | #5397: Filename.temp_dir_name should be mutable. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12275 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 26 March 2012, 17:18:30 UTC |
b228f23 | Jacques Garrigue | 25 March 2012, 07:01:58 UTC | Fix PR#5554 by restricting optional parameter elimination through coercions to variables and applications git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 25 March 2012, 07:01:58 UTC |
633c212 | Xavier Leroy | 24 March 2012, 10:36:55 UTC | Splitting off the win32caml/ subdirectory (the simplistic Win32 UI for the toplevel). It now lives at https://forge.ocamlcore.org/projects/ocamltopwin/ git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12267 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 24 March 2012, 10:36:55 UTC |
e3ccf4f | Xavier Leroy | 24 March 2012, 08:13:21 UTC | Install new header <caml/hash.h> git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12265 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 24 March 2012, 08:13:21 UTC |
c9ce271 | Xavier Leroy | 23 March 2012, 09:57:31 UTC | Updated documentation of Random.self_init and Random.float. Faster implementation of Random.float: to get a 53-bit random mantissa, combining two calls to Random.bits is enough, three was overkill. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12261 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 23 March 2012, 09:57:31 UTC |
b07dd96 | Jacques Garrigue | 23 March 2012, 02:36:07 UTC | Follow-up on PR#5553 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12259 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 23 March 2012, 02:36:07 UTC |
403e7e9 | Jacques Garrigue | 23 March 2012, 02:16:44 UTC | Fix PR#5553: do not allow a type variable to have the same name as a local type git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12256 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 23 March 2012, 02:16:44 UTC |
a08c39c | Damien Doligez | 21 March 2012, 16:38:17 UTC | fix broken "make world" git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12254 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 March 2012, 16:38:17 UTC |
8313b6b | Xavier Leroy | 21 March 2012, 14:31:18 UTC | PR#5215 continued: as unique ident for dynlinked bytecode units, use MD5 of .cmo/.cma file combined with name of unit within the .cma git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12253 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 March 2012, 14:31:18 UTC |
853fa02 | Maxence Guesdon | 20 March 2012, 12:00:11 UTC | PR5522: allow refering to record fields and variant constructors git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12249 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 March 2012, 12:00:11 UTC |
1fd9bb8 | Damien Doligez | 16 March 2012, 15:53:07 UTC | add ocamloptp for count-based profiling in native code git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12246 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 March 2012, 15:53:07 UTC |
43c7440 | Maxence Guesdon | 14 March 2012, 21:01:41 UTC | fix PR#5419 (error message in french) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12245 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 14 March 2012, 21:01:41 UTC |
976cb2e | Xavier Leroy | 14 March 2012, 15:27:58 UTC | Improve self-initialization of the Random module, using /dev/urandom when available. The changes in byterun/win32.c are untested. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12242 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 14 March 2012, 15:27:58 UTC |
d61e879 | Damien Doligez | 14 March 2012, 14:32:07 UTC | uniformization of the warnings at the head of the hidden sections of the .mli git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12241 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 14 March 2012, 14:32:07 UTC |
71da078 | Xavier Clerc | 14 March 2012, 10:22:02 UTC | Fixed conditional compilation of "testing.cmx" (testsuite) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12239 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 14 March 2012, 10:22:02 UTC |
3086d37 | Xavier Leroy | 14 March 2012, 09:26:54 UTC | PR#4892: non-strict behavior in Array.set git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12237 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 14 March 2012, 09:26:54 UTC |
61c879e | Xavier Leroy | 14 March 2012, 09:24:19 UTC | Update parsecmm.mly to reflect recent change in Cmm git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12235 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 14 March 2012, 09:24:19 UTC |
7a6d1b2 | Damien Doligez | 13 March 2012, 16:10:02 UTC | PR#4292, point 8: bad placement of section header git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12230 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 March 2012, 16:10:02 UTC |
2e4295f | Xavier Leroy | 13 March 2012, 14:47:44 UTC | PR#5215 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12228 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 March 2012, 14:47:44 UTC |
fcf19b1 | Xavier Leroy | 13 March 2012, 14:44:48 UTC | PR#5215: Marshalling of closures now supported if the closures come from dynamically-loaded code. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12227 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 March 2012, 14:44:48 UTC |
39875b1 | Maxence Guesdon | 13 March 2012, 13:40:42 UTC | comments are now utf8 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12226 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 March 2012, 13:40:42 UTC |
e9995db | Maxence Guesdon | 13 March 2012, 13:40:30 UTC | fix PR#5535:no cross ref to class after dump+load git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12225 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 March 2012, 13:40:30 UTC |
5222408 | Maxence Guesdon | 12 March 2012, 17:57:46 UTC | add convenient functions to extend current generator git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12221 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 March 2012, 17:57:46 UTC |
3c2d810 | Xavier Leroy | 12 March 2012, 12:42:57 UTC | Making a branch for OCaml 4.00. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12217 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 March 2012, 12:42:57 UTC |
d04fc95 | Wojciech Meyer | 10 March 2012, 02:25:53 UTC | PR#5512: Test suite improvement wrt. to packaging. Slightly modified patch by Stephane Glondu git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12216 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 March 2012, 02:25:53 UTC |
ae0d0f9 | Wojciech Meyer | 10 March 2012, 01:46:37 UTC | PR#5532: Print full path in error message. Quote filename git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12215 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 March 2012, 01:46:37 UTC |
e8d1f58 | Fabrice Le Fessant | 09 March 2012, 08:45:49 UTC | Improve ocamldep error handling In case of syntax error while reading a file, ocamldep used to completely ignore the file. The new behavior is to compute no dependency from the file content, but still print dependencies between implementations and interfaces if needed. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12214 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 March 2012, 08:45:49 UTC |
5d56f0e | Damien Doligez | 08 March 2012, 22:36:21 UTC | cut overlong line git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12213 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 08 March 2012, 22:36:21 UTC |
0ed38a9 | Damien Doligez | 08 March 2012, 22:27:57 UTC | bumped version to 4.00.0 (per Xavier's decision) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 08 March 2012, 22:27:57 UTC |
c5ef010 | Damien Doligez | 08 March 2012, 21:45:26 UTC | typo in URL git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 08 March 2012, 21:45:26 UTC |
6c24f4f | Damien Doligez | 08 March 2012, 19:52:03 UTC | merge version 3.12 from 3.12.1 to r12205 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 08 March 2012, 19:52:03 UTC |
1fb4007 | Alain Frisch | 07 March 2012, 17:50:17 UTC | #5527: absolute filenames for more error messages. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12202 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 07 March 2012, 17:50:17 UTC |
864e855 | Alain Frisch | 07 March 2012, 17:40:17 UTC | #5527: absolute filenames for more error messages. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12201 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 07 March 2012, 17:40:17 UTC |
5f632b7 | Alain Frisch | 07 March 2012, 17:37:05 UTC | #5527: absolute filenames for more error messages. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12200 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 07 March 2012, 17:37:05 UTC |
b05e790 | Alain Frisch | 07 March 2012, 17:32:37 UTC | #5527: absolute filenames for more error messages. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12199 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 07 March 2012, 17:32:37 UTC |
1be1d4e | Alain Frisch | 07 March 2012, 17:27:59 UTC | #5527: use absolute filenames in the message for Warning 31, when requested (-absname). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12198 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 07 March 2012, 17:27:59 UTC |
515ab27 | Alain Frisch | 07 March 2012, 11:07:21 UTC | Check for fatal warnings after link operations (#5526). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12196 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 07 March 2012, 11:07:21 UTC |
ab918e2 | Alain Frisch | 06 March 2012, 19:47:07 UTC | Detect unused exception declarations (#5524). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 March 2012, 19:47:07 UTC |