PR#6397: fix infix (+=) operators after open types merge

(Patch by Leo White)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14754 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
re-commit Leo's weak-dependencies pull request

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14755 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
#6399: protocol (based on a built-in ocaml.error extension node) to let ppx tools send located errors to be reported by the compiler (patch by Peter Zotov).

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14756 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix PR#6394: Assertion failed in Typecore.expand_path

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14757 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Minor tweak to raw dump of parsetree/typedtree.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14758 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Expose a Typemod.type_interface (currently an alias of Typemod.transl_signature) by symmetry with type_implementation.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14759 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
add small precision about -warn-error

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

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14761 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Protocol to allow ppx processors to report warnings to the compiler (reported as warning 22).

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14762 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Eradicate one more sprintf().


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14763 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Follow-up to r14763: use caml_stat_free instead of plain free.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14764 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fixes to Travis CI script from Anil

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14765 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
cycle detection in the toplevel printer (Leo White, https://github.com/ocaml/ocaml/pull/23/)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14766 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix .depend for parallel make

Damien introduced a dependency from asmcomp/ to typing/env.ml, which
breaks parallel build.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14767 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
[minor] Makefile: fix the hard-bootstrap recipe

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14768 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix PR#6405: unsound interaction of -rectypes and GADTs

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14769 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Add reset functions to make modules reentrant when used through compiler-libs

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14770 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
small re-ordering of declarations, to match comments

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14771 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fixed bug in native caml_raise_with_string, and synced code in byterun/fail.c for that function

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14772 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
add Changes note for the patch in rev 14772

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