PR#6466: use "extensible variant" rather than "open" types in error message

(Leo White)

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15695 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
testsuite/Makefile.toplevel: make terminal DUMB by default (tests rely on this)

Currently it is not equivalent to do:
  cd testsuite; make one DIR=tests/$foo
and
  cd testsuite/tests/$foo; make
because the latter will not set TERM=dumb and toplevel tests will use
nice escape-code location highlighting instead of ASCII-made squiggly
lines, which breaks the tests.

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15696 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
missing @since on List.sort_uniq

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15697 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
ocamlbuild: add an explicit "infer" tag for menhir (Patch by Hugo Heuzard)

This allows to prevent the --infer option from being passed to Menhir
by using the negative tag -infer.

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15698 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
toplevel: allows the extension of 'genprintval.ml' with parameterised printer.

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15699 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
toplevel: extends #install_printer to accept parameterised printers

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15700 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
toplevel: generic printers are only allowed with 'new' printer style.

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15701 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
toplevel: be explicit about what path are used for

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15702 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
update Changes

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15703 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
rewrite the printing of Lazy values in toplevel/genprintval.ml

The code previously used Lazy.is_val to know whether the value was
already-evaluated (and, in this case, Lazy.force to extract this value
and print it more precisely). But it lies inside a functor that is
instantiated over different implementations of Obj, while
Lazy.{is_val,force} force the use of the Obj module of the standard
library. This could cause segfaults when this code is called from the
debugger, which instantiates it with a different Obj module talking
over a socket.

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15704 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
rewrite cycle-detection in genprintval.ml to use O instead of Obj

(see previous commit)

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
ocamldebug: fix printing of variables of lazy type

"print a" in ocamldebug when a is a forced lazy value segfaults on all
OCaml versions I tested it on. This comes from the fact that the
debugcomm.ml re-implementation of the Obj module (talking over the
debugging socket) implements Obj.tag without special-casing integers
(that is, testing is_block first), and always assumes its input is
a block.

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15706 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Since r10c, Android NDK includes sys/ucontext.h.

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15707 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Allow Android builds with systhreads support.

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15708 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Update manpage

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15709 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR6712: Ignore (-traverse) common VCS directories in ocamlbuild.

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