create branch 4.01

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@13776 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
As originally written, this test would livelock under Linux because of contention on the output lock.  


git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@13777 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
#5578: undo commit 13743, i.e. re-undo commit 11966, until we have a proper fix.

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@13779 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Update magic numbers and bootstrap.

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@13780 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#5178: document in INSTALL how to build a 32-bit version under Linux x86-64


git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@13781 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#4079: Queue.copy is now tail-recursive (patch from "Cristophe" on the bugtracker)


git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@13783 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
improve ocamlbuild API documentation (patch by Cristophe Troestler)


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

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@13788 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Make GADT inference robust to useless equations

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@13791 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix #5811 as suggested.

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@13792 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#4502: ocamlbuild now reliably excludes the build-dir from hygiene check


git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@13795 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
#5980: a different warning for shadowing labels/constructors and for other kinds of identifiers.

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@13796 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix a variance bug in GADTs

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@13803 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
add spaces

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@13806 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
insert the next version number

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@13807 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#5974: better documentation for Str.regexp

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@13808 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
make ocamlopt pretty-print uncaught exception just as ocamlc and Printexc


git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@13815 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
tweak tests/backtrace to also test ocamlopt

Note that native and byte-test share the same reference file, so in
particular they check that ocamlc and ocamlopt report uncaught
exception in the exact same way. Passing this test required a change
in asmrun/backtrace.c/print_location.


git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@13816 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
testsuite/tests/backtrace: no need to re-run backtrace2 which catches all exceptions


git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@13817 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
testsuite/tests/backtrace: new test to exercize Printexc.get_raw_backtrace


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