2691cf5 Integrate exception_registration banch.

Merged and Committed by Alain Frisch 10 years ago
43 files changed. 390 lines added. 270 lines removed.
asmcomp/asmgen.ml
file modified
+7 -0
asmcomp/asmlibrarian.ml
file modified
+7 -0
asmcomp/asmlink.ml
file modified
+7 -0
asmcomp/asmpackager.ml
file modified
+7 -0
asmcomp/compilenv.ml
file modified
+7 -0
boot/ocamlc
file modified
+0 -0
boot/ocamldep
file modified
+0 -0
boot/ocamllex
file modified
+0 -0
bytecomp/bytelibrarian.ml
file modified
+7 -0
bytecomp/bytelink.ml
file modified
+7 -0
bytecomp/bytepackager.ml
file modified
+7 -0
bytecomp/symtable.ml
file modified
+7 -0
bytecomp/translclass.ml
file modified
+9 -0
bytecomp/translcore.ml
file modified
+9 -0
bytecomp/translmod.ml
file modified
+9 -0
driver/errors.ml
file modified
+3 -68
driver/main.ml
file modified
+1 -1
driver/opterrors.ml
file modified
+3 -70
driver/optmain.ml
file modified
+2 -2
driver/pparse.ml
file modified
+8 -1
ocamldoc/odoc_analyse.ml
file modified
+9 -53
parsing/lexer.mli
file modified
+1 -0
parsing/lexer.mll
file modified
+9 -1
parsing/location.ml
file modified
+88 -8
parsing/location.mli
file modified
+35 -1
parsing/syntaxerr.ml
file modified
+31 -29
parsing/syntaxerr.mli
file modified
+1 -0
tools/ocamldep.ml
file modified
+6 -12
tools/ocamlprof.ml
file modified
+6 -15
toplevel/opttoploop.ml
file modified
+2 -2
toplevel/opttopmain.ml
file modified
+1 -1
toplevel/toploop.ml
file modified
+2 -2
toplevel/topmain.ml
file modified
+1 -1
typing/cmi_format.ml
file modified
+7 -0
typing/ctype.ml
file modified
+13 -0
typing/env.ml
file modified
+13 -3
typing/includemod.ml
file modified
+11 -0
typing/typeclass.ml
file modified
+9 -0
typing/typecore.ml
file modified
+9 -0
typing/typecore.mli
file modified
+1 -0
typing/typedecl.ml
file modified
+9 -0
typing/typemod.ml
file modified
+9 -0
typing/typetexp.ml
file modified
+10 -0
    Integrate exception_registration banch.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14152 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    
        
file modified
+7 -0
file modified
+7 -0
file modified
+7 -0
file modified
+7 -0
file modified
+7 -0
file modified
+0 -0
file modified
+0 -0
file modified
+0 -0
file modified
+7 -0
file modified
+7 -0
file modified
+7 -0
file modified
+7 -0
file modified
+9 -0
file modified
+9 -0
file modified
+9 -0
file modified
+3 -68
file modified
+1 -1
file modified
+3 -70
file modified
+2 -2
file modified
+8 -1
file modified
+9 -53
file modified
+1 -0
file modified
+9 -1
file modified
+88 -8
file modified
+35 -1
file modified
+31 -29
file modified
+1 -0
file modified
+6 -12
file modified
+6 -15
file modified
+2 -2
file modified
+1 -1
file modified
+2 -2
file modified
+1 -1
file modified
+7 -0
file modified
+13 -0
file modified
+13 -3
file modified
+11 -0
file modified
+9 -0
file modified
+9 -0
file modified
+1 -0
file modified
+9 -0
file modified
+9 -0
file modified
+10 -0