Commit Graph

8114 Commits (0d2e9941ebfbfcaaf28eae3e21dd7a8d35fdbb91)

Author SHA1 Message Date
Xavier Leroy 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
Jonathan Protzenko 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
Jonathan Protzenko 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
Xavier Leroy 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
Xavier Leroy 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
Jonathan Protzenko 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
Jonathan Protzenko 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
Damien Doligez 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
Damien Doligez 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
Jonathan Protzenko 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
Jacques Garrigue 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
Jacques Garrigue 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
Jacques Garrigue 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
Damien Doligez 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
Damien Doligez 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
Xavier Leroy 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
Alain Frisch 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
Alain Frisch 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
Xavier Leroy 498b864c14 One missing call to free_extern_output. Added a couple of comments.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12271 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-26 08:26:44 +00:00
Jacques Garrigue 20759f9818 Fix PR#5554 by restricting optional parameter elimination through coercions to variables and applications
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12269 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-25 06:41:42 +00:00
Xavier Leroy af3cafad25 Splitting off the win32caml/ subdirectory (the simplistic Win32 UI for the toplevel). It now lives at https://forge.ocamlcore.org/projects/ocamltopwin/
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12268 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-24 10:37:53 +00:00
Xavier Leroy 0e4baac4cc Install new header <caml/hash.h>
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12266 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-24 08:56:08 +00:00
Alain Frisch 46a196c01d Use flexdll's -stack option, also for Cygwin.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12264 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-23 15:22:13 +00:00
Alain Frisch 05fbe3cbde Use new -stack option from flexdll 0.28 (#5465).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12263 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-23 15:14:02 +00:00
Xavier Leroy 90fde3e40e Updated documentation of Random.self_init and Random.float.
Faster implementation of Random.float: to get a 53-bit random mantissa, combining two calls to Random.bits is enough, three was overkill.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12262 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-23 09:58:22 +00:00
Jacques Garrigue 875aab099e revert wrong commit of experiments
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12260 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-23 07:17:42 +00:00
Jacques Garrigue 57c5658f54 Follow-up on PR#5553
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12258 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-23 02:35:00 +00:00
Jacques Garrigue b3e0f2e72a Fix PR#5553: do not allow a type variable to have the same name as a local type
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12257 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-23 02:20:24 +00:00
Jonathan Protzenko d9e441b8a1 Make sure we include misc.h using double-quotes so that when the files are put in /usr/lib/ocaml, the includes work fine. Fixes PR#5499
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12255 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-22 08:39:43 +00:00
Alain Frisch 454a45c2b5 Update Changes for #5551.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12252 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-21 11:40:02 +00:00
Alain Frisch c6e37f1573 #5551: avoid repeated lookups for missing cmi files.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12251 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-21 11:35:51 +00:00
Wojciech Meyer 3eee9d124b PR#5318: Proper finalization of stack and replay the trail after stack overflow
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-21 00:03:35 +00:00
Wojciech Meyer e5201eb76c PR#5318: Reverting last un-marshaler changes, to rework the control flow of mainloop and provide better solution for eliminating recursion
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12248 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-19 22:48:27 +00:00
Wojciech Meyer f66308e569 PR#5318: Non-recursive version of extern_rec and intern_rec, to allow marshaling and un-marshaling of deeper data structures
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12247 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-18 02:03:30 +00:00
Xavier Leroy 44b6164bb0 Improve self-initialization of the Random module, using /dev/urandom
when available.  The changes in byterun/win32.c are untested.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12244 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-14 16:12:09 +00:00
Damien Doligez f95e7f4a59 uniformization of the warnings at the head of the hidden sections of the .mli
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12243 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-14 16:03:15 +00:00
Xavier Clerc a4f3f01982 Fixed conditional compilation of "testing.cmx" (testsuite)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12240 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-14 10:22:07 +00:00
Xavier Leroy 5914913c1c PR#4892: non-strict behavior in Array.set
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12238 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-14 09:27:13 +00:00
Xavier Leroy 6d7456ef82 Update parsecmm.mly to reflect recent change in Cmm
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12236 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-14 09:24:52 +00:00
Damien Doligez 2d5764e00d PR#4292, point 8: bad placement of section header
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12231 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-13 16:11:07 +00:00
Xavier Leroy 4e5eb94ed9 PR#5215: Marshalling of closures now supported if the closures come from dynamically-loaded code.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12229 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-13 14:50:41 +00:00
Damien Doligez e50091b8e7 update version to 4.01.0 after branching of 4.00
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12218 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-12 13:07:57 +00:00
Wojciech Meyer d04fc95db5 PR#5512: Test suite improvement wrt. to packaging. Slightly modified patch by Stephane Glondu
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12216 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-10 02:25:53 +00:00
Wojciech Meyer ae0d0f9adb PR#5532: Print full path in error message. Quote filename
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12215 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-10 01:46:37 +00:00
Fabrice Le Fessant e8d1f584d4 Improve ocamldep error handling
In case of syntax error while reading a file, ocamldep used to completely
ignore the file. The new behavior is to compute no dependency from the file
content, but still print dependencies between implementations and
interfaces if needed.



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12214 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-09 08:45:49 +00:00
Damien Doligez 5d56f0e299 cut overlong line
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12213 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-08 22:36:21 +00:00
Damien Doligez 0ed38a9fb1 bumped version to 4.00.0 (per Xavier's decision)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-08 22:27:57 +00:00
Damien Doligez c5ef010a5a typo in URL
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-08 21:45:26 +00:00
Damien Doligez 6c24f4f90b merge version 3.12 from 3.12.1 to r12205
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-08 19:52:03 +00:00
Alain Frisch 1fb4007ece #5527: absolute filenames for more error messages.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12202 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-07 17:50:17 +00:00