Yet another branch for inlined records, trying to get rid of the internal syntactic sugar.



git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15370 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Towards getting rid of the internal syntactic sugar.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15371 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Towards sugar-less encoding of constructor types.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15372 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Cleanup.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15373 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Cleanup.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15374 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Support for inlined records in extension constructors.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15375 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Re-enable rebinding of extension constructors with inlined records.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15376 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
No need to track extension path in record_representation, infer it from the result type of the label.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15377 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Cleanup.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15378 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Reduce diff with trunk.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15379 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Cleanup.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15380 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Print inlined record type with a bang.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15381 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Do not resolve Tpackage path with find_type (to be checked).

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15383 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Get rif of multiple exceptions with the same name in the same module.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15384 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Bootstrap.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15385 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Synchronize with trunk.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Accept changes.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15406 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Support referencing inline record types defined by the current type definition.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15407 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Proper error message.

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