Commit Graph

13671 Commits (e47f29bf85d0f58b381fe02a15589251a3f89348)

Author SHA1 Message Date
Sébastien Hinderer e47f29bf85 Share the rules needed to build the native toplevel.
One side-effect is that ocamlnat is now removed by make clean under
Windows (mingw and msvc), which was not the case before.
2016-08-01 17:28:51 +02:00
Damien Doligez 7b771fa21a first commit after branching 4.04 2016-08-01 17:15:40 +02:00
Damien Doligez 2533546cef last commit before branching 4.04 2016-08-01 17:13:37 +02:00
Mark Shinwell 40c4e45bd4 Changes entry for GPR#714 2016-08-01 15:22:28 +01:00
Leo White 51f58a68f5 Merge pull request #714 from chambart/lazy_warning_59
Prevent warning 59 from triggering on Lazy of constants
2016-08-01 15:19:46 +01:00
Mark Shinwell 787c24a907 Je m'appelle Mark 2016-08-01 15:16:59 +01:00
Damien Doligez 0b4fbc2b30 fix whitespace, long lines, headers 2016-08-01 16:06:59 +02:00
Mark Shinwell 234b8ecefc Fixes for 32-bit 2016-08-01 12:59:40 +01:00
Mark Shinwell 2e47b99657 Fix Profinfo_hd for 32-bit 2016-08-01 12:05:37 +01:00
Mark Shinwell 652c08525f Remove uses of stdint.h in Spacetime files 2016-08-01 11:55:16 +01:00
Gabriel Scherer 61ab5570f3 spacetime minor fix: extern.c unused variable 2016-08-01 12:38:26 +02:00
Damien Doligez 60aff732d1 Merge #562: Add a kind of finalisation function called without argument 2016-08-01 11:23:13 +02:00
David Allsopp 55222ad05a PR#7299: heap access in Win32 Unix (#726) 2016-08-01 09:11:10 +01:00
Alain Frisch d1bc2b603e Changelog #700 2016-07-31 22:05:38 +02:00
Nicolas Ojeda Bar c315059aeb Fix maximum weak bucket size (#700)
Ephemeron buckets needs 2 (rather than 1 in the old weak table) extra fields in
each bucket, as can be seen in caml_ephe_create in byterun/weak.c. Thus the
actual max bucket size should be Sys.max_array_length - 2 instead of
Sys.max_array_length - 1.
2016-07-31 22:03:04 +02:00
Pierre Chambart 6ee86d523d Reorganize switch handling 2016-07-31 17:35:21 +02:00
Pierre Chambart f5573b0f6b Prevent warning 59 from triggering on Lazy of constants
Lazy.force (lazy (fun x -> x)) was triggering this warning because the
code generated by Lazy.force modifies its argument in a dead branch.
This allows to recognize this branch as dead, and eliminate it.
2016-07-31 17:34:22 +02:00
Alain Frisch 4f6f7f6faf Merge pull request #728 from Chris00/trunk
Fix typo in the Ephemeron module
2016-07-31 15:34:41 +02:00
Alain Frisch e2442f42a4 Mention Mantis ticket as well in Changes 2016-07-31 15:24:52 +02:00
Christophe Troestler fa1e033225 Fix typo in the Ephemeron module 2016-07-30 19:07:38 +01:00
Mark Shinwell c5f3a4702d Add GPR#585 to Changes 2016-07-29 16:21:20 +01:00
Mark Shinwell dabd380c72 Bug in comparison function 2016-07-29 16:19:44 +01:00
Mark Shinwell cd0bd8aa73 Spacetime: a new memory profiler (#585) 2016-07-29 15:07:10 +01:00
Gabriel Scherer d7700c1041 Merge remote-tracking branch 'github-bobot/feature/reraise_raw_backtrace_primitive' into trunk 2016-07-29 15:44:15 +02:00
François Bobot 2000ec7499 Fix 7be0a81e9c fix
on msvc-32 reraise was a raise
2016-07-29 10:06:29 +02:00
Gabriel Scherer c59f847e7b update .depend 2016-07-29 01:24:40 +02:00
Gabriel Scherer e6c779ada8 Merge remote-tracking branch 'github-bobot/feature/reraise_raw_backtrace_primitive' into trunk
This restores the merge of #378 which had been previously reverted to
fix reraise support in some architectures:
  https://github.com/ocaml/ocaml/pull/378#issuecomment-235734005
2016-07-29 01:23:35 +02:00
Gabriel Scherer 2b64ecac66 refresh .depend 2016-07-29 00:49:55 +02:00
Pierre Chambart 1294a6d2ab Merge pull request #703 from chambart/optimize_constant_strings
Optimize some constant string operations
2016-07-28 20:49:57 +02:00
Pierre Chambart d84cd91c2c Merge pull request #709 from chambart/make_key_let_strict
Share a few more equal switch branches
2016-07-28 19:40:43 +02:00
Pierre Chambart b9268bdcb8 Update Changes 2016-07-28 19:39:45 +02:00
Pierre Chambart 5f5070c63c Share a few more equal branches 2016-07-28 19:38:18 +02:00
Pierre Chambart 3b6a802daa Update Changes 2016-07-28 19:35:54 +02:00
Pierre Chambart 86c9e4f759 Optimize constant char comparison 2016-07-28 19:35:54 +02:00
Pierre Chambart d9eaf8a34b Make constant string access effect free
This allows removing them when the value of constant strings can be propagated.
2016-07-28 19:35:54 +02:00
Pierre Chambart 9b23b97cd2 Remove obsolete comment 2016-07-28 19:35:54 +02:00
Pierre Chambart 8d348d48ee Optimize away string switch on constant strings 2016-07-28 19:35:54 +02:00
Pierre Chambart 4e22061ff9 Optimize away some trivial physical differences 2016-07-28 19:35:54 +02:00
Pierre Chambart d74d636a52 Merge pull request #723 from chambart/order_flambda_functions
Sort emitted functions according to source location
2016-07-28 19:35:33 +02:00
Pierre Chambart ab39e0caed Update Changes 2016-07-28 19:15:44 +02:00
Pierre Chambart 9acf4e22a6 Sort emitted functions 2016-07-28 19:12:16 +02:00
Leo White 44e038485a Merge pull request #708 from lpw25/more-aliases
Allow more module aliases in strengthening
2016-07-28 17:26:13 +01:00
François Bobot bb4a1b4f5d Specialize raise_kind after cmmgen
since the semantic changed. There is no need to check Clflags.debug
   anymore Raise_withtrace, means that traces must be computed (if the
   runtime boolean is true).
2016-07-28 15:29:50 +02:00
François Bobot 7be0a81e9c Fix backtrace for regular raise on arm64, arm
for constant exception, a reraise was done
    instead of a raise
2016-07-28 13:46:23 +02:00
Leo White bb9c7a0e91 Bootstrap 2016-07-28 10:33:19 +01:00
Leo White 50023c3fcd Add Changes entry 2016-07-28 10:13:32 +01:00
Leo White 581ed875b4 Fix aliasing of functor parameters 2016-07-28 10:13:32 +01:00
Leo White 55a21ff051 Add label to bool parameter 2016-07-28 10:13:32 +01:00
Leo White caadb9de8a Allow more module aliases in strengthening 2016-07-28 10:13:32 +01:00
Gabriel Scherer d894ba1bd4 Merge pull request #720 from Octachron/ocamldoc_inline_record_light
MPR#7290: ocamldoc, more support for inline record
2016-07-27 21:49:55 -04:00