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
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
#5551: avoid repeated lookups for missing cmi files.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12251 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Update Changes for #5551.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12252 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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
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
Follow-up on PR#5553

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12258 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
revert wrong commit of experiments

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12260 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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
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
Use flexdll's -stack option, also for Cygwin.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12264 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Install new header <caml/hash.h>

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12266 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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
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
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
#5397: Filename.temp_dir_name should be mutable.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12274 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Requires flexdll 0.29.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12276 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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
PR#5552 unrecognized gcc option "-no-cpp-precomp"

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12283 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#5538: combining -i and -annot in ocamlc

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02