b56dc4b PR#5584: merge open extensible types, extension-patch-4.0.2

Authored and Committed by Jacques Garrigue 9 years ago
119 files changed. 4126 lines added. 1039 lines removed.
boot/ocamlc
file modified
+0 -0
boot/ocamldep
file modified
+0 -0
boot/ocamllex
file modified
+0 -0
bytecomp/matching.ml
file modified
+53 -31
bytecomp/translclass.ml
file modified
+1 -1
bytecomp/translcore.ml
file modified
+6 -4
bytecomp/translmod.ml
file modified
+74 -53
man/ocamlc.m
file modified
+1 -1
ocamldoc/Makefile
file modified
+1 -0
ocamldoc/Makefile.nt
file modified
+1 -0
ocamldoc/generators/odoc_todo.ml
file modified
+8 -0
ocamldoc/odoc_analyse.ml
file modified
+1 -0
ocamldoc/odoc_ast.ml
file modified
+168 -52
ocamldoc/odoc_ast.mli
file modified
+5 -10
ocamldoc/odoc_cross.ml
file modified
+68 -0
ocamldoc/odoc_dep.ml
file modified
+1 -0
ocamldoc/odoc_env.ml
file modified
+9 -9
ocamldoc/odoc_env.mli
file modified
+3 -3
ocamldoc/odoc_exception.ml
file modified
+1 -0
ocamldoc/odoc_extension.ml
file added
+46
ocamldoc/odoc_html.ml
file modified
+139 -13
ocamldoc/odoc_info.ml
file modified
+8 -0
ocamldoc/odoc_info.mli
file modified
+75 -0
ocamldoc/odoc_latex.ml
file modified
+102 -2
ocamldoc/odoc_man.ml
file modified
+96 -5
ocamldoc/odoc_merge.ml
file modified
+84 -0
ocamldoc/odoc_messages.ml
file modified
+11 -0
ocamldoc/odoc_misc.ml
file modified
+2 -2
ocamldoc/odoc_module.ml
file modified
+22 -2
ocamldoc/odoc_scan.ml
file modified
+22 -0
ocamldoc/odoc_search.ml
file modified
+74 -2
ocamldoc/odoc_search.mli
file modified
+25 -0
ocamldoc/odoc_sig.ml
file modified
+98 -14
ocamldoc/odoc_sig.mli
file modified
+3 -3
ocamldoc/odoc_str.ml
file modified
+90 -7
ocamldoc/odoc_str.mli
file modified
+7 -0
ocamldoc/odoc_texi.ml
file modified
+55 -3
ocamldoc/odoc_text.ml
file modified
+1 -0
ocamldoc/odoc_text_lexer.mll
file modified
+18 -0
ocamldoc/odoc_text_parser.mly
file modified
+2 -0
ocamldoc/odoc_to_text.ml
file modified
+29 -22
ocamldoc/odoc_type.ml
file modified
+1 -0
ocamldoc/odoc_types.ml
file modified
+1 -0
ocamldoc/odoc_types.mli
file modified
+1 -0
parsing/ast_helper.ml
file modified
+39 -11
parsing/ast_helper.mli
file modified
+17 -11
parsing/ast_mapper.ml
file modified
+42 -17
parsing/ast_mapper.mli
file modified
+2 -1
parsing/lexer.mll
file modified
+1 -0
parsing/parser.mly
file modified
+78 -18
parsing/parsetree.mli
file modified
+41 -13
parsing/pprintast.ml
file modified
+45 -19
parsing/pprintast.mli
file modified
+7 -5
parsing/printast.ml
file modified
+45 -25
stdlib/marshal.mli
file modified
+8 -7
stdlib/obj.ml
file modified
+25 -0
stdlib/obj.mli
file modified
+3 -0
testsuite/tests/typing-extensions/Makefile
file added
+4
testsuite/tests/typing-extensions/cast.ml
file added
+96
testsuite/tests/typing-extensions/cast.ml.reference
file added
+33
testsuite/tests/typing-extensions/extensions.ml
file added
+321
testsuite/tests/typing-extensions/extensions.ml.reference
file added
+131
testsuite/tests/typing-extensions/msg.ml
file added
+131
testsuite/tests/typing-extensions/msg.ml.reference
file added
+23
testsuite/tests/typing-extensions/open_types.ml
file added
+102
testsuite/tests/typing-extensions/open_types.ml.reference
file added
+74
testsuite/typing
file modified
+1 -0
tools/depend.ml
file modified
+21 -7
tools/tast_iter.ml
file modified
+27 -9
tools/tast_iter.mli
file modified
+4 -0
tools/untypeast.ml
file modified
+62 -40
toplevel/genprintval.ml
file modified
+12 -7
toplevel/opttoploop.ml
file modified
+3 -2
toplevel/opttoploop.mli
file modified
+2 -0
toplevel/topdirs.ml
file modified
+16 -8
toplevel/toploop.ml
file modified
+3 -2
toplevel/toploop.mli
file modified
+2 -0
typing/btype.ml
file modified
+14 -5
typing/btype.mli
file modified
+2 -1
typing/ctype.ml
file modified
+97 -29
typing/ctype.mli
file modified
+5 -0
typing/datarepr.ml
file modified
+30 -15
typing/datarepr.mli
file modified
+2 -2
typing/env.ml
file modified
+40 -36
typing/env.mli
file modified
+5 -5
typing/envaux.ml
file modified
+3 -3
typing/includecore.ml
file modified
+41 -6
typing/includecore.mli
file modified
+2 -2
typing/includemod.ml
file modified
+20 -20
typing/includemod.mli
file modified
+2 -2
typing/mtype.ml
file modified
+7 -11
typing/oprint.ml
file modified
+126 -21
typing/oprint.mli
file modified
+1 -0
typing/outcometree.mli
file modified
+23 -3
typing/parmatch.ml
file modified
+14 -19
typing/predef.ml
file modified
+23 -17
typing/predef.mli
file modified
+2 -2
typing/printtyp.ml
file modified
+60 -16
typing/printtyp.mli
file modified
+4 -4
typing/printtyped.ml
file modified
+46 -26
typing/subst.ml
file modified
+16 -8
typing/subst.mli
file modified
+2 -2
typing/typeclass.ml
file modified
+12 -8
typing/typecore.ml
file modified
+13 -7
typing/typedecl.ml
file modified
+324 -146
typing/typedecl.mli
file modified
+12 -8
typing/typedtree.ml
file modified
+31 -16
typing/typedtree.mli
file modified
+31 -16
typing/typedtreeIter.ml
file modified
+48 -21
typing/typedtreeIter.mli
file modified
+4 -0
typing/typedtreeMap.ml
file modified
+73 -34
typing/typedtreeMap.mli
file modified
+8 -2
typing/typemod.ml
file modified
+72 -44
typing/types.ml
file modified
+17 -8
typing/types.mli
file modified
+20 -8
typing/typetexp.ml
file modified
+25 -14
typing/typetexp.mli
file modified
+3 -2
utils/warnings.ml
file modified
+11 -8
utils/warnings.mli
file modified
+1 -1
    PR#5584: merge open extensible types, extension-patch-4.0.2
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    
        
file modified
+0 -0
file modified
+0 -0
file modified
+0 -0
file modified
+53 -31
file modified
+1 -1
file modified
+6 -4
file modified
+74 -53
file modified
+1 -1
file modified
+1 -0
file modified
+1 -0
file modified
+1 -0
file modified
+168 -52
file modified
+5 -10
file modified
+68 -0
file modified
+1 -0
file modified
+9 -9
file modified
+3 -3
file modified
+1 -0
file modified
+139 -13
file modified
+8 -0
file modified
+75 -0
file modified
+102 -2
file modified
+96 -5
file modified
+84 -0
file modified
+11 -0
file modified
+2 -2
file modified
+22 -2
file modified
+22 -0
file modified
+74 -2
file modified
+25 -0
file modified
+98 -14
file modified
+3 -3
file modified
+90 -7
file modified
+7 -0
file modified
+55 -3
file modified
+1 -0
file modified
+18 -0
file modified
+29 -22
file modified
+1 -0
file modified
+1 -0
file modified
+1 -0
file modified
+39 -11
file modified
+17 -11
file modified
+42 -17
file modified
+2 -1
file modified
+1 -0
file modified
+78 -18
file modified
+41 -13
file modified
+45 -19
file modified
+7 -5
file modified
+45 -25
file modified
+8 -7
file modified
+25 -0
file modified
+3 -0
file modified
+1 -0
file modified
+21 -7
file modified
+27 -9
file modified
+4 -0
file modified
+62 -40
file modified
+12 -7
file modified
+3 -2
file modified
+2 -0
file modified
+16 -8
file modified
+3 -2
file modified
+2 -0
file modified
+14 -5
file modified
+2 -1
file modified
+97 -29
file modified
+5 -0
file modified
+30 -15
file modified
+2 -2
file modified
+40 -36
file modified
+5 -5
file modified
+3 -3
file modified
+41 -6
file modified
+2 -2
file modified
+20 -20
file modified
+2 -2
file modified
+7 -11
file modified
+126 -21
file modified
+1 -0
file modified
+23 -3
file modified
+14 -19
file modified
+23 -17
file modified
+2 -2
file modified
+60 -16
file modified
+4 -4
file modified
+46 -26
file modified
+16 -8
file modified
+2 -2
file modified
+12 -8
file modified
+13 -7
file modified
+324 -146
file modified
+12 -8
file modified
+31 -16
file modified
+31 -16
file modified
+48 -21
file modified
+4 -0
file modified
+73 -34
file modified
+8 -2
file modified
+72 -44
file modified
+17 -8
file modified
+20 -8
file modified
+25 -14
file modified
+3 -2
file modified
+11 -8
file modified
+1 -1