43197698fa
PR#5318: Update Changes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-25 00:02:02 +00:00
e884da3bdc
Fixes a camlp4 50x slowdown by changing the order of grammar rules.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-23 11:58:40 +00:00
c1cb8aa6fc
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/trunk@12390 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-22 23:37:41 +00:00
7b9f2a7ddf
Reverting commits 12385 and 12370, while waiting for a decision to be taken to install compiler files for 4.0
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-22 16:11:51 +00:00
4c85d29786
Asmgen hooks: call cmm hooks once on all phrases, instead of for every function
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12385 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-19 16:14:06 +00:00
b2166e33f5
- 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/trunk@12384 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-19 13:17:40 +00:00
64dd0e06fa
PR#5582: bad dependency on /opt/local/include/X11
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-19 13:01:21 +00:00
d634683a9c
#5596 : Do not report unused constructors within signatures.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12378 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-18 18:45:49 +00:00
96375ba6fb
Revert bad typo fix.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12377 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-18 18:44:09 +00:00
3b30c79500
Typo.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12376 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-18 18:42:39 +00:00
9adb09c9ab
#5589 : 'unused' warnings for .mli files as well (detect unused open and shadowed value declarations).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12375 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-18 12:22:58 +00:00
00f949df97
remove leftover debugging message
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12374 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-18 11:49:28 +00:00
9f46d7222a
Improve message for Unused constructor/exception warnings.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12371 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-18 09:01:17 +00:00
905143bfa2
Add hooks in Asmgen
...
Add hooks in Asmgen to allow external developers to add
new passes on the typedtree, lambda, clambda and cmm trees.
A library 'ocamlopt.cm{a/xa}' is installed, with optmain.cm{x/o},
so that developers can create new ocamlopt executables containing
these new passes.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12370 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-18 08:50:26 +00:00
3930c2fd79
#5595 : Missed constant propagation.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12368 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-18 07:12:54 +00:00
b510b67cb5
PR#5389: compaction sometimes leaves a very large heap
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12365 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-17 08:21:52 +00:00
38162c1196
remove redundant colon in norepeat mode for the toplevel
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12363 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-17 08:02:02 +00:00
8b273ea32f
Typo.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12360 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-16 16:37:15 +00:00
e20fc11742
#5594 : Unused constructors are not reported if their type starts with underscore.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-16 16:30:06 +00:00
309e1b601c
#5593 : Remove C file when -output-obj fails.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12356 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-16 15:26:25 +00:00
0c758c05c2
trivial fix following commit 12221 in ocamldoc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12355 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-13 14:06:19 +00:00
1b782a0122
PR#5585: typo explicitely -> explicitly
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12353 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-13 12:44:29 +00:00
44cdb20670
Fix #5588 .
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12348 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-12 17:21:39 +00:00
7fa1f303c7
Set the revised syntax of GADTs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12346 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-11 21:34:51 +00:00
1d690696e9
Introducing ikfprintf.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12343 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-11 18:01:02 +00:00
b81519668f
Doc: better phrasing for %,. Introducing ikfprintf.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12342 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-11 18:00:32 +00:00
2845f7b7ea
Typo.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12338 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-11 03:50:39 +00:00
ef8d15d4a1
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/trunk@12336 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-10 21:18:00 +00:00
8617313666
PR#5575: Random states are not marshallable across architectures
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12335 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-10 15:33:21 +00:00
f4f31771f2
update expected result after changes to stdlib/random.ml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12334 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-10 15:33:06 +00:00
cf1071e8ca
PR#5501: increase IO_BUFFER_SIZE to 64KiB
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12332 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-10 14:09:21 +00:00
2330a3b30f
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/trunk@12327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-09 10:23:50 +00:00
0d2e9941eb
PR#5295: OS threads: problem with caml_c_thread_unregister()
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12325 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-08 17:12:46 +00:00
715ea44322
CFI directives are not supported on Windows.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12320 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-04 13:03:21 +00:00
1ac30d51ba
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/trunk@12318 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-04 12:56:49 +00:00
72ae789dc6
PR#5543: in Bigarray.map_file, try to avoid using lseek() when growing file
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12317 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-04 12:12:02 +00:00
a8511c74b5
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/trunk@12312 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-03 13:50:09 +00:00
c8729bff62
Remove obsolete hack in OCamlbuild for Windows.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12306 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-02 15:14:00 +00:00
4010b7dcc6
Followup fix to PR#5435. Implement the infamous '' hack for cmd.exe running bash -c.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12305 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-02 15:13:59 +00:00
22e3b040d4
PR#5310: Ratio.create_ratio/create_normalized_ratio have misleading names
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-31 22:15:34 +00:00
4191b43bc9
PR#5311: better message for warning 23
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-31 20:55:13 +00:00
417aaa4362
Better detection of .exe files on Windows, fix #5435
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-29 12:36:37 +00:00
fc603f1a00
check with -principal too
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-29 06:26:38 +00:00
7a8e3126ba
fix partial copy bug + unshare method types with -principal
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-28 10:39:05 +00:00
40e2854e21
Fix PR#5560
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12286 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-28 00:35:41 +00:00
b4b544d2a3
PR#5538: combining -i and -annot in ocamlc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-27 15:11:27 +00:00
7c8fcb37f7
PR#5552 unrecognized gcc option "-no-cpp-precomp"
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12283 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-27 14:32:28 +00:00
ce1e74f0bd
PR#5215 continued: as unique ident for dynlinked bytecode units, use MD5 of .cmo/.cma file combined with name of unit within the .cma. (Push of commit 12253.)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12278 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-26 17:44:47 +00:00
09895cadad
Requires flexdll 0.29.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12276 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-26 17:31:00 +00:00
77b7ef9714
#5397 : Filename.temp_dir_name should be mutable.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12274 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-26 17:17:35 +00:00
Wojciech Meyer
Xavier Clerc
Fabrice Le Fessant
Xavier Leroy
Alain Frisch
Damien Doligez
Jérémie Dimino
Pierre Weis
Jonathan Protzenko
Jacques Garrigue