PR5522: allow refering to record fields and variant constructors

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12249 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

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12253 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix broken "make world"

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

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12259 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/version/4.00@12261 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Install new header <caml/hash.h>


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

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12275 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Cherry-picking from trunk: 12263, 12264, 12276.

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12277 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
#5551: Cherry-picking r12251 from trunk.

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12279 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#5552 unrecognized gcc option "-no-cpp-precomp"

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

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix PR#5560

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12287 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
followup to commit 12254: add ocamloptp to "make world.opt"

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12288 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
merge from trunk (commits 12289 and 12290)

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#5311: better message for warning 23

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#5310: Ratio.create_ratio/create_normalized_ratio have misleading names

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12301 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#5310: Ratio.create_ratio/create_normalized_ratio have misleading names

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