Fix PR#5425 and PR#5427

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
A patch adding primitives to browse types in the toplevel

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

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11318 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Merged proc_nt.ml into proc.ml in directories asmcomp/i386 and asmcomp/amd64.
This avoids much code duplication and is a baby step towards Mingw-64 bits 
support (PR#5179).  (There will be no need to create a third proc_xxx.ml
file for this configuration.)
Also, in amd64/emit_nt.mlp, the ml64 assembler didn't like my label subtractions, so I put the jumptable in code area instead of in data area.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11319 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
#5358: update Camlp4 to support constraints on types in sub-modules in package types.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11320 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix printing of GADTs by Camlp4 with original syntax

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11321 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
#5358: update the Camlp4 ast translator to support constraints on types in sub-modules in package types.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
The "DBM" library (interface with Unix DBM key-value stores) is no
longer part of this distribution.  It now lives its own life at
https://forge.ocamlcore.org/projects/camldbm/.  Bye bye, DBM.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11881 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS.
So long and thanks for all the fish.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11882 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS,
part 2: configure.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11883 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS,
part 3: config/Makefile-templ (for reference, because this file is unused)


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11884 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS.
Part 4: cleaning up some more references & specific code for these archs.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11886 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#4869: rare collisions between assembly labels for code and data


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11887 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#5416: better implementation of set/clear_close_on_exec

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

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11889 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
New option to force the compilers to show absolute paths in error messages.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11890 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#4880: added appropriate event to "assert" so that it shows up properly in stack backtraces


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

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11894 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix pretty-printing of let-like operators.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11895 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Cosmetic: old-style K&R function -> new style prototyped function

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