12663d47ef
update Changes to record the potentially-breaking change of GPR#155
...
* PR#6816: reject identifiers following numeric literals without spacing, e.g.
let foo = 1 in (fun a b -> a,b) 23foo
(Hugo Heuzard)
(Thanks to Daniel Bünzli for reminding me.)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16317 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-02 17:18:44 +00:00
3c4e307bfd
update Changes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-02 16:54:25 +00:00
6e224a76a1
GPR#221: use CAMLnoreturn_{start,end} in the same way as CAMLunused_{start,end}
...
This is ugly. C pragmas are ugly. At least we're ugly and consistent now.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-02 16:54:24 +00:00
2f2b2f0bd1
GPR#165: refactor and document CAMLunused{,_start,_end}
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16314 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-02 16:54:22 +00:00
edb714dc15
GPR#221: keep Noreturn and add CAMLnoreturn_{start,end}
...
(Bernhard Schommer)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16313 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-02 16:54:20 +00:00
98456ca63b
GPR#165: reintroduce 'CAMLunused' for backward compatibility reasons.
...
(Bernhard Schommer)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16312 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-02 16:54:18 +00:00
90062a8a43
GPR#212 Emitaux: also emit column location
...
(Frédéric Bour)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16311 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-02 15:37:02 +00:00
ed057488f2
Order type variables in format parameters
...
(Maxence Guesdon)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16310 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-02 15:37:00 +00:00
0b1575a6b0
GPR#201: Keep general types of Printf.{ifprintf,ikfprintf}
...
(Maxence Guesdon)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-02 15:36:58 +00:00
370677b639
PR#6649, GPR#222: accept (int_of_string "+3")
...
(Christopher McAlpine)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-02 13:32:44 +00:00
60314e38c5
fix -dsource error on recursive modules
...
(Hongbo Zhang)
when printing recursive module the old version would print no space
before 'and':
A : ... = struct
...
endand B : ... = ...
this tiny PR fixes such problem
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-02 13:05:53 +00:00
5756c0ae69
update Changes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16306 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-02 13:05:51 +00:00
36d53043b2
ocamlbuild: + Log.is_logging to skip allocation in hot path
...
(user 'ygrek')
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16305 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-02 13:05:50 +00:00
c2704c259b
ocamlbuild: Log: do not wrap format unless it will be used
...
(user 'ygrek')
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-02 13:05:48 +00:00
7569a5f7a0
ocamlbuild: specialize Hashtbl for Resource.Cache
...
(user 'ygrek')
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-02 13:05:47 +00:00
a3041d9550
Added the missing POSIX signals in Sys (Guillaume Bury)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16302 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-02 13:05:45 +00:00
1326b12f74
merge branch 4.02 from rev 16205 to rev 16238
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-29 22:19:24 +00:00
688d5a5915
Changed OCamlbuild's license to LGPL with static linking exception.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16294 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-28 13:18:34 +00:00
047749ec9a
Of--by-one-bit error in two_power_m1_big_int, causing out-of-bound write if n is a multiple of length_of_digit.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-28 11:52:21 +00:00
ef5bfc9a66
#6940 : fix regression on 32-bit machine related to new unboxing strategy.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16292 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-28 10:56:23 +00:00
c157926a36
float_of_big_int: for negative arguments, the top 55 bits must round towards -inf, otherwise wrong rounding occurs. Hence, use shift_right_big_int and not shift_right_towards_zero_big_int.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-28 07:49:50 +00:00
debaf6edb2
fix regression test for PR#6938 for 32-bit machines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16283 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-27 18:44:10 +00:00
66e958ef0f
Still following up on commit 16278.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-27 17:25:17 +00:00
b71ce51227
Hopefully finish 16278 (again).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-27 16:48:32 +00:00
2b25dd5d4a
Hopefully finish 16278.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-27 16:35:28 +00:00
7027b858eb
Update "register_class" followign the introduction of the Val machine type.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16278 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-27 11:37:52 +00:00
438cbf52cc
Rvert 16273. gasche pointed to a counterexample: 'let rec x = (x;1)'.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16277 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-27 11:33:21 +00:00
76e5208983
Cosmetic.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16276 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-27 10:40:48 +00:00
a32821b740
Inline transl_unbox_let to clarify code.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16275 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-27 10:16:57 +00:00
1a31367f74
Allow unbox in let-rec bindings, for uniformity.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16274 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-27 10:12:35 +00:00
acab661fed
Fix suspicious (harmless) case in cmm-compilation of letrec.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16273 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-27 09:58:07 +00:00
bd88ddb4fb
Mention commit r16269 (merge of GPR#115).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-27 09:44:20 +00:00
01d4824c21
GPR#107: Prevent more unnecessary float boxing, especially in if and match. Patch by V. Brankov.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16271 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-27 09:40:27 +00:00
09428028b1
More precise typing at the C-- and Mach level.
...
(Merge of branch cmm-mach-types and PR#115.)
- Register type "Addr" is split into
. "Val" (well-formed OCaml values, appropriate as GC roots)
. "Addr" (derived pointers within the heap, must not survive a GC)
- memory_chunk "Word" is split into
. "Word_val" (OCaml value)
. "Word_int" (native-sized integer, not a pointer into the heap)
Cmmgen was updated to use Word_val or Word_int as appropriate.
Application #1 : fail at compile-time if a derived pointer within the heap
survives a GC point (cf. PR#6484).
Application #2 : CSE can do a better job across allocation points
(keep factoring expressions of type Int, Val, Float, but not Addr).
Application #3 : slightly fewer roots given to the GC
(e.g. pointers into bigarray data).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16269 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-27 09:20:39 +00:00
53231bcdc3
Update to trunk r16267.
...
A change on trunk in cmmgen was causing problems: the use of array_indexing
in bigarray_indexing was constructing derived pointers of Addr type
instead of the correct Int type. (Because bigarray inner pointers
are outside the heap, and because they are live across allocations.)
Added an optional argument to array_indexing to specify expected
pointer type, and adapted bigarray_indexing to use it with type Int.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/cmm-mach-types@16268 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-27 08:18:53 +00:00
14a844ece1
update Changelog
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16267 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-26 19:28:58 +00:00
394d8795a9
GPR#165: Added pragmas for MSVC do disable the unused variable warning for CAMLparam and CAMLlocal.
...
(Bernhard Schommer)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16266 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-26 19:28:56 +00:00
1c29e17fd3
GPR#165: Missing Noreturn moved before the functions and added a missing undef in socketaddr.c
...
(Bernhard Schommer)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16265 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-26 19:28:55 +00:00
f7199a9ee2
GPR#165: Fixed small typo it should be _MSC_VER not __MSC_VER
...
(Bernhard Schommer)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16264 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-26 19:28:53 +00:00
a1063f29bf
GPR#165: Undef the erno values and redefine them using the winsocket values.
...
(Bernhard Schommer)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16263 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-26 19:28:52 +00:00
34ab11fbcc
GPR#165: Changed the definition of the Noreturn macro to also work with Visual Studio Version >= 2008 using the __declspec(noreturn).
...
(Bernhard Schommer)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16262 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-26 19:28:50 +00:00
75a7b333ed
GPR#165: Added define guards around the macros in unixsupport and for the isnan and isfinite macro.
...
(Bernhard Schommer)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16261 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-26 19:28:48 +00:00
5a47e0cb7b
GPR#156: Optimize reallocation of caml_frame_descriptors
...
(Pierre Chambart)
It now reallocates and reinitialises the whole table only when it is
too small. This avoids quadratic behavior when loading a lot of module
with dynlink.
This was problematic on frama-c when inlining increase the code
size. The frame table initialisation took ~0.5 second. This is quite
noticeable on real examples where the whole frama-c analysis is ~1.5s
long.
Also allows to unregister a frametable.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16260 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-26 19:01:47 +00:00
e91bb93784
GPR#196: Make [Thread.id] and [Thread.self] [noalloc].
...
(Clark Gaebel)
These functions are called every tick of the Async scheduler, and
are the only remaining calls to [caml_c_call] every cycle. It would
be nice to remove them, especially since these functions don't
allocate.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16259 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-26 19:01:45 +00:00
235ee2ddef
GPR#26: support for "(type a b ..)" as sugar for "(type a) (type b) .."
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16258 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-26 19:01:42 +00:00
618abdad8d
bootstrap (hoping to un-stuck the CI instances on format typing)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16255 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-26 05:47:03 +00:00
6c419e8a17
PR#6924: Tiny optim to avoid some spilling of floats in x87
...
(Alain Frisch)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16254 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-25 20:44:08 +00:00
454538ae93
GPR#213: Simplif.emit_tail_infos: recurse on function body in an application
...
(Frédéric Bour)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16253 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-25 20:44:07 +00:00
d939804269
GPR#208: add "asm" ocamlbuild tag to enable -S
...
(Patch by ygrek)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16252 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-25 20:44:05 +00:00
7d1f7af832
fix "compatibility macros for runtime constants that recently changed names" (svn id: 16008 ; git commit: 8c1f0cff)
...
(Thomas Refis)
The constants weren't just renammed: they previously denoted a size in bytes,
they now denote a size in words.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16251 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-25 20:44:04 +00:00
Gabriel Scherer
Damien Doligez
Xavier Leroy
Alain Frisch