Commit Graph

8311 Commits (f6f54d325d799f45dbf18e45f1af6e9702861413)

Author SHA1 Message Date
Jacques Garrigue 6219455e62 Fix PR#5224
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12533 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-01 05:12:44 +00:00
Jacques Garrigue a430934c06 Fix PR#5291
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12531 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-01 04:47:14 +00:00
Damien Doligez 493e57678b whitespace + fix doc of warning 7
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12528 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-31 15:15:24 +00:00
Damien Doligez 3b084cb4ad PR#5389 (followup): update caml_stat_heap_chunks
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12525 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-31 12:18:11 +00:00
Jacques Garrigue d8f8f9ee3b keep the text width to 80 columns
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-31 08:07:31 +00:00
Fabrice Le Fessant c3b08c9149 merge with bin-annot: add missing files
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12517 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-30 15:25:49 +00:00
Fabrice Le Fessant d39d43e55f merge with branch bin-annot
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-30 14:52:37 +00:00
Gabriel Scherer e3d8281790 Ensure that {Set,Map}.{filter,partition} call their functional argument
in the user-expected left-to-right evaluation order.

This is a cosmetics change but users usually expect the
mapping/filtering functions to be called in increasing key order. As
the order for filter and partition changed recently anyway (commit
r12026), it makes sense to "fix" it now.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12509 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-30 11:28:28 +00:00
Xavier Clerc acc19ff167 Removal of unnecessary "rec" clauses (to please warning #39).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12508 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 13:41:14 +00:00
Alain Frisch e489d6e3f4 Eliminate useless rec.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12507 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 12:52:44 +00:00
Alain Frisch 1cc8f999d8 Document that a dummy declaration is here to avoid a warning.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12505 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 12:37:01 +00:00
Alain Frisch dd6d8257c0 Enabled 'unused rec flag' warning.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12503 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 12:33:51 +00:00
Alain Frisch 4ae32488d8 Fix unused open warning.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12502 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 12:32:54 +00:00
Alain Frisch 4dcc69b52c Detect (and fix some) useless recursive flags.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12501 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 12:31:28 +00:00
Alain Frisch 5035a24bd0 Detect (and fix some) useless recursive flags.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12500 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 12:30:49 +00:00
Alain Frisch 058035059c Typo.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12499 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 12:15:34 +00:00
Alain Frisch a0a14c08fa Enable and fix more warnings.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 11:47:28 +00:00
Alain Frisch 05c973e6ed Compile with warning 33, and remove unused opens.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 11:10:03 +00:00
Fabrice Le Fessant 87f6cd4779 modified Windows Makefiles to install compiler internals
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12496 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 10:48:19 +00:00
Xavier Clerc 8889c93af2 Move of the message related to PR#5620, due to backport to 4.00.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12494 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 07:39:13 +00:00
Jacques Garrigue 18cb4a0c28 typo
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12492 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-28 21:58:42 +00:00
Jacques Garrigue c7873aa96e Improve error message (and indentation)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12491 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-28 21:57:08 +00:00
Alain Frisch c46da52b57 Typo.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12490 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-28 11:56:28 +00:00
Alain Frisch e9387ac80f #5618: include inferred type in 'not a function' and 'too many argument' error messages.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12489 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-28 11:54:36 +00:00
Alain Frisch 1ecb1f471c #5586: Increase UNIX_BUFFER_SIZE.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12487 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-28 11:29:47 +00:00
Jacques Garrigue 6d950dd3ea prove functionality and associativity of plus
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-26 01:25:42 +00:00
Jacques Garrigue 1253a7c689 prove functionality and associativity of plus
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12485 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-26 01:13:52 +00:00
Alain Frisch 12568313ef Detecting unused open in .mli files also in ocamlopt.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12484 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-25 13:27:48 +00:00
Jacques Garrigue a745e3c6fe fix PR#5619
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12482 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-25 05:11:55 +00:00
Xavier Leroy 66f05c8e7f Fix for PR#5578 left on trunk but removed from 4.00 because of PR#5578.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12481 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-24 16:41:34 +00:00
Xavier Leroy c73c5caf89 PR#5616: ocamlbuild's manual is now part of the "official" OCaml reference manual, so just remove these files, it's the easier answer to the copyright-minded folks.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12479 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-24 16:26:07 +00:00
Damien Doligez 8a216cd3bb fix two bugs in commit 12453
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12476 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-24 15:12:37 +00:00
Xavier Clerc 397d0040de update related to commit 12473 (fixing PR#5620)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12474 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-23 08:23:52 +00:00
Xavier Clerc 546d88ca52 PR#5620: invalid printing of type manifest (camlp4 revised syntax)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12473 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-23 08:19:46 +00:00
Xavier Leroy 8b5b5f9df5 Makefile: typo in installoptopt entry
otherlibs/labltk: toplevellib.cma is no more, use the new compilerlibs/*.cma stuff instead


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12471 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-21 13:23:08 +00:00
Xavier Leroy 1e3bd1c332 Install compiler internals (as libraries + compiled interfaces + start modules)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12469 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-17 16:04:13 +00:00
Benedikt Meurer 40e1c415b7 [arm] Also emit CFI directives for the ARM backend.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12466 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-17 12:43:58 +00:00
Benedikt Meurer d07d559a2c [arm] Emit debug information in the ARM backend.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12465 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-17 12:43:21 +00:00
Jérémie Dimino 11741a8df7 Ensure that character literals are always escaped by the camlp4 printer.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12463 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-16 09:13:30 +00:00
Alain Frisch 11fadf4929 ASM_CFI_SUPPORTED=false for other Windows ports.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12460 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-15 14:04:57 +00:00
Alain Frisch eb08d628da Don't disable Camlp4 by default for msvc64 and mingw64.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12458 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-15 13:08:47 +00:00
Jonathan Protzenko bae01ace03 Only display the disclaimer about tags if the user specified a -show-tags switch.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12456 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-15 11:28:52 +00:00
Fabrice Le Fessant fef288bd38 Fix PR#5305 : prevent ocamlbuild from complaining about links to _build/
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12452 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-15 08:37:48 +00:00
Fabrice Le Fessant 621dd2dd5f Fix PR#5555
Add Hashtbl.reset to resize the bucket table to its initial size.



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12451 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-15 08:36:25 +00:00
Xavier Leroy ceabedc058 PR#5603: wrong .file directives generated by ocamlopt -g
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12449 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-12 09:51:45 +00:00
Xavier Leroy 4b9cbab50a PR#5610: new unmarshaler didn't freshen object IDs.
Assorted cleanups and additional comments in byterun/intern.c.
More tests in lib/marshal.
Updated Changes file.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12442 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-08 13:49:35 +00:00
Jacques Garrigue a23314e0b8 Catch Not_found when calling Env.find_type + call Includemod.signatures in Toploop
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12439 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-08 04:26:13 +00:00
Jonathan Protzenko d2e4349855 Properly add the -for-pack flag when calling ocamlopt during the pack phase and fix #5084
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12438 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-07 13:11:36 +00:00
Xavier Leroy ad6a2252ff Remove the 'dispose' functions from Bigarray.
(Partial revert of commit 12327, keeping the other good bits.)


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12432 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-06 08:23:16 +00:00
Damien Doligez d53f2e8db0 add marshal.data to list of ignored files
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12425 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-03 11:53:38 +00:00