e29c9d2956
PR#5986: added flag Marshal.Compat_32 and ocamlc option -compat-32.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13554 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18 11:58:59 +00:00
e92b63fc21
PR#5957,PR#5920,PR#5925: LongString module to workaround 32bits string size limitations during bytecode linking (patch by Benoit Vaugon and Chet Murthy)
...
In PR#5925, Benoît Vaugon initially proposed the LongString module to
solve an issue with bytecode blocks of size > Sys.max_string_length on
32 bits architecture (16Mio). In PR#5957, Chet Murthy made small
changes to also fix the problem of debug information going above this
16Mio limit.
The LongString module should be reusable in other parts of the
compiler, should new 32bit-string-length issues arise.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-17 09:07:00 +00:00
09fae9d204
continuation of r13523
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13527 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-13 20:34:25 +00:00
75ba2fd463
ignore .exe files
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13526 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-13 20:24:33 +00:00
6e7c9f60b1
make it work also on 32-bit machines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13525 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-13 20:24:06 +00:00
eaa5abc35b
remove redundant definition of dump_scheduling
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13524 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-13 19:46:14 +00:00
d0c32df9be
do not test stack overflow on architectures that do not support it
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13523 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-13 19:45:51 +00:00
9de44b3e63
typo in comment
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-13 19:43:10 +00:00
d11457a7b3
updates
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13521 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-13 19:42:20 +00:00
ff7547dca0
Fix PR#5981
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13514 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-12 10:20:14 +00:00
b4c4c5e77b
#5977 : ensure that bootstrapping on 64-bit does not produce 64-bit constants that cannot be read on 32-bit platforms.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13488 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-09 12:17:05 +00:00
93fc228b45
PR#4978: add a warning to the Marshal module documentation about using marshaled exception.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-04 22:07:51 +00:00
a3f9e65668
add a few missing copyright headers
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13485 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-04 15:27:13 +00:00
e2eacb06cd
add compcert to the test suite
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13484 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-04 15:26:56 +00:00
1eda2af37b
fix whitespace
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13483 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-04 15:25:42 +00:00
58d699f60b
remove unused file
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13482 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-04 15:22:40 +00:00
4bb9a3fad0
fix stupid mistake
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13464 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-28 22:23:51 +00:00
d568e00263
undo commit 13312 to keep compatibility with BSDmake
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13456 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-28 16:10:24 +00:00
129a5b29f5
added a lot of missing newlines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13455 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-28 16:08:54 +00:00
f344eb755c
reorganize and add a few tests
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13454 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-28 16:08:33 +00:00
a765dca3c7
PR#5934 continued: forgot to commit this in r13438
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13439 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-24 16:08:24 +00:00
a950ef856d
PR#5934: integer shift by negative amount (-1).
...
Several occurrences of the same pattern:
let p = ref(1 lsl N) in
for i = N downto 0 do ... p := !p lsr 1 done
rewritten so as not to precompute "1 lsl N".
This was rather harmless since the value of p wasn't used in the case N < 0.
This is why I'm fixing this on trunk but not on 4.00 branch.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13438 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-24 15:34:09 +00:00
af0796ea30
fix C compiler warnings and bug introduced by commit 13436
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13437 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 18:36:22 +00:00
8d921d62a3
fix whitespace and over-long lines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13436 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 18:22:51 +00:00
361803e36b
fix whitespace and over-long lines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13435 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 18:21:46 +00:00
3367fcc3a7
fix whitespace and over-long lines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13434 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 18:21:34 +00:00
f8158edf4c
fix whitespace and over-long lines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13433 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 18:21:10 +00:00
a27fa1322e
fix whitespace and over-long lines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13432 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 18:20:59 +00:00
3a8ba3567a
fix whitespace and over-long lines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13431 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 18:20:45 +00:00
2cbba4b445
fix whitespace
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13430 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 18:20:25 +00:00
726da0bdfc
fix whitespace and over-long lines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13429 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 18:19:54 +00:00
18962fdd15
fix whitespace and over-long lines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13428 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 18:19:29 +00:00
44d2d94fe5
fix undeclared variable
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 18:19:21 +00:00
12f179b360
fix whitespace and over-long lines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13426 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 18:18:26 +00:00
ce4d6f7995
fix wrong error message
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13425 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 18:02:34 +00:00
d9dc859227
added more stuff
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13424 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 18:01:09 +00:00
b2636c22d5
PR#5921 "compact unwind" warnings under MacOS
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13423 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 17:57:53 +00:00
4b625179f5
Fix PR#5953
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13421 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 11:42:28 +00:00
677f402f68
A more CamlTk-ish version.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13417 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-19 19:51:45 +00:00
5392f6f13e
@@ should be written \@\@ for Ocamldoc...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13416 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-19 19:25:24 +00:00
5d1d2b5cb6
Details.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-19 17:49:49 +00:00
635604d822
Typo: get_formatter_out_functions was redefined. Doc.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13414 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-19 10:14:31 +00:00
a2c500f8bc
Details.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13413 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-19 08:06:06 +00:00
559521f125
Documentation.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13412 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-19 08:02:15 +00:00
54b4e5e79e
sprintf now compatible with proper %a application with formatters. Deprecating pp_ versions of get/set_all_formatter_output_functions. Documentation review.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13411 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-19 07:58:59 +00:00
75b8c0184f
PR#5933 type-specialize 'let compare = compare' on ints and strings
...
According to the reporter 'sliquister', type-specialized comparison
can nearly halve compilation time in some cases. This patch applies
type-specialization throughout the OCaml distribution sources, so not
all changes will have performance utility, but in this case I think
it's best to be consistent, as I see no downside to the change.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13410 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-19 07:22:12 +00:00
e51284dd06
PR#5933: don't generate _app shortcuts above fixed arity to avoid quadratic blowups (patch by Valentin Gatien-Baron)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-19 07:16:46 +00:00
3455ffd361
Allow parentheses around the typexpr in "type t = [> typexpr ]".
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13408 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-18 20:17:14 +00:00
d78a0b0bc3
Do not let indentation grow without bound when pretty-printing the parse tree.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13407 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-18 20:15:21 +00:00
7b31f54095
It is no longer necessary to keep pre-processed files in case of errors
...
(see commits 3817 and 5224,5302,5816)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13406 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-18 20:13:53 +00:00
Xavier Leroy
Gabriel Scherer
Damien Doligez
Jacques Garrigue
Alain Frisch
Wojciech Meyer
Jérémie Dimino
Pierre Weis