Skip to content
Browse files

update dependencies

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13162 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  • Loading branch information...
1 parent c0b989f commit b0a238edc60d64e3736b3b1d0a0c21ad328d2c22 garrigue committed
View
143 .depend
@@ -33,7 +33,8 @@ parsing/parser.cmi : parsing/parsetree.cmi parsing/longident.cmi \
parsing/location.cmi
parsing/parsetree.cmi : parsing/longident.cmi parsing/location.cmi \
parsing/asttypes.cmi
-parsing/pprintast.cmi :
+parsing/pprintast.cmi : parsing/parsetree.cmi parsing/longident.cmi \
+ parsing/asttypes.cmi
parsing/printast.cmi : parsing/parsetree.cmi
parsing/syntaxerr.cmi : parsing/location.cmi
parsing/lexer.cmo : utils/warnings.cmi parsing/parser.cmi utils/misc.cmi \
@@ -79,7 +80,7 @@ typing/datarepr.cmi : typing/types.cmi typing/path.cmi typing/ident.cmi \
parsing/asttypes.cmi
typing/env.cmi : utils/warnings.cmi typing/types.cmi typing/subst.cmi \
typing/path.cmi parsing/longident.cmi parsing/location.cmi \
- typing/ident.cmi utils/consistbl.cmi typing/annot.cmi
+ typing/ident.cmi utils/consistbl.cmi
typing/envaux.cmi : typing/subst.cmi typing/path.cmi typing/env.cmi
typing/ident.cmi :
typing/includeclass.cmi : typing/types.cmi typing/env.cmi typing/ctype.cmi
@@ -92,7 +93,7 @@ typing/mtype.cmi : typing/types.cmi typing/path.cmi typing/ident.cmi \
typing/env.cmi
typing/oprint.cmi : typing/outcometree.cmi
typing/outcometree.cmi : parsing/asttypes.cmi
-typing/parmatch.cmi : typing/types.cmi typing/typedtree.cmi typing/path.cmi \
+typing/parmatch.cmi : typing/types.cmi typing/typedtree.cmi \
parsing/parsetree.cmi parsing/longident.cmi parsing/location.cmi \
typing/env.cmi parsing/asttypes.cmi
typing/path.cmi : typing/ident.cmi
@@ -152,22 +153,24 @@ typing/ctype.cmx : typing/types.cmx typing/subst.cmx typing/path.cmx \
utils/misc.cmx parsing/longident.cmx parsing/location.cmx \
typing/ident.cmx typing/env.cmx utils/clflags.cmx typing/btype.cmx \
parsing/asttypes.cmi typing/ctype.cmi
-typing/datarepr.cmo : typing/types.cmi typing/predef.cmi typing/ident.cmi \
- typing/btype.cmi parsing/asttypes.cmi typing/datarepr.cmi
-typing/datarepr.cmx : typing/types.cmx typing/predef.cmx typing/ident.cmx \
- typing/btype.cmx parsing/asttypes.cmi typing/datarepr.cmi
+typing/datarepr.cmo : typing/types.cmi typing/predef.cmi typing/path.cmi \
+ typing/ident.cmi typing/btype.cmi parsing/asttypes.cmi \
+ typing/datarepr.cmi
+typing/datarepr.cmx : typing/types.cmx typing/predef.cmx typing/path.cmx \
+ typing/ident.cmx typing/btype.cmx parsing/asttypes.cmi \
+ typing/datarepr.cmi
typing/env.cmo : utils/warnings.cmi typing/types.cmi utils/tbl.cmi \
typing/subst.cmi typing/predef.cmi typing/path.cmi utils/misc.cmi \
parsing/longident.cmi parsing/location.cmi typing/ident.cmi \
typing/datarepr.cmi utils/consistbl.cmi utils/config.cmi \
typing/cmi_format.cmi utils/clflags.cmi typing/btype.cmi \
- parsing/asttypes.cmi typing/annot.cmi typing/env.cmi
+ parsing/asttypes.cmi typing/env.cmi
typing/env.cmx : utils/warnings.cmx typing/types.cmx utils/tbl.cmx \
typing/subst.cmx typing/predef.cmx typing/path.cmx utils/misc.cmx \
parsing/longident.cmx parsing/location.cmx typing/ident.cmx \
typing/datarepr.cmx utils/consistbl.cmx utils/config.cmx \
typing/cmi_format.cmx utils/clflags.cmx typing/btype.cmx \
- parsing/asttypes.cmi typing/annot.cmi typing/env.cmi
+ parsing/asttypes.cmi typing/env.cmi
typing/envaux.cmo : typing/types.cmi typing/subst.cmi typing/printtyp.cmi \
typing/path.cmi typing/mtype.cmi utils/misc.cmi typing/env.cmi \
typing/envaux.cmi
@@ -642,11 +645,11 @@ asmcomp/clambda.cmx : bytecomp/lambda.cmx typing/ident.cmx \
asmcomp/closure.cmo : utils/tbl.cmi bytecomp/switch.cmi typing/primitive.cmi \
utils/misc.cmi bytecomp/lambda.cmi typing/ident.cmi asmcomp/debuginfo.cmi \
asmcomp/compilenv.cmi utils/clflags.cmi asmcomp/clambda.cmi \
- parsing/asttypes.cmi asmcomp/closure.cmi
+ parsing/asttypes.cmi asmcomp/arch.cmo asmcomp/closure.cmi
asmcomp/closure.cmx : utils/tbl.cmx bytecomp/switch.cmx typing/primitive.cmx \
utils/misc.cmx bytecomp/lambda.cmx typing/ident.cmx asmcomp/debuginfo.cmx \
asmcomp/compilenv.cmx utils/clflags.cmx asmcomp/clambda.cmx \
- parsing/asttypes.cmi asmcomp/closure.cmi
+ parsing/asttypes.cmi asmcomp/arch.cmx asmcomp/closure.cmi
asmcomp/cmm.cmo : typing/ident.cmi asmcomp/debuginfo.cmi asmcomp/arch.cmo \
asmcomp/cmm.cmi
asmcomp/cmm.cmx : typing/ident.cmx asmcomp/debuginfo.cmx asmcomp/arch.cmx \
@@ -797,17 +800,19 @@ driver/optmain.cmi :
driver/pparse.cmi :
driver/compile.cmo : utils/warnings.cmi typing/typemod.cmi \
typing/typedtree.cmi typing/typecore.cmi bytecomp/translmod.cmi \
- typing/stypes.cmi bytecomp/simplif.cmi typing/printtyp.cmi \
- bytecomp/printlambda.cmi bytecomp/printinstr.cmi parsing/printast.cmi \
- driver/pparse.cmi parsing/parse.cmi utils/misc.cmi parsing/location.cmi \
+ typing/stypes.cmi bytecomp/simplif.cmi typing/printtyped.cmi \
+ typing/printtyp.cmi bytecomp/printlambda.cmi bytecomp/printinstr.cmi \
+ parsing/printast.cmi parsing/pprintast.cmi driver/pparse.cmi \
+ parsing/parse.cmi utils/misc.cmi parsing/location.cmi \
typing/includemod.cmi typing/ident.cmi typing/env.cmi \
bytecomp/emitcode.cmi utils/config.cmi utils/clflags.cmi utils/ccomp.cmi \
bytecomp/bytegen.cmi driver/compile.cmi
driver/compile.cmx : utils/warnings.cmx typing/typemod.cmx \
typing/typedtree.cmx typing/typecore.cmx bytecomp/translmod.cmx \
- typing/stypes.cmx bytecomp/simplif.cmx typing/printtyp.cmx \
- bytecomp/printlambda.cmx bytecomp/printinstr.cmx parsing/printast.cmx \
- driver/pparse.cmx parsing/parse.cmx utils/misc.cmx parsing/location.cmx \
+ typing/stypes.cmx bytecomp/simplif.cmx typing/printtyped.cmx \
+ typing/printtyp.cmx bytecomp/printlambda.cmx bytecomp/printinstr.cmx \
+ parsing/printast.cmx parsing/pprintast.cmx driver/pparse.cmx \
+ parsing/parse.cmx utils/misc.cmx parsing/location.cmx \
typing/includemod.cmx typing/ident.cmx typing/env.cmx \
bytecomp/emitcode.cmx utils/config.cmx utils/clflags.cmx utils/ccomp.cmx \
bytecomp/bytegen.cmx driver/compile.cmi
@@ -839,20 +844,20 @@ driver/main_args.cmo : utils/warnings.cmi driver/main_args.cmi
driver/main_args.cmx : utils/warnings.cmx driver/main_args.cmi
driver/optcompile.cmo : utils/warnings.cmi typing/typemod.cmi \
typing/typedtree.cmi typing/typecore.cmi bytecomp/translmod.cmi \
- typing/stypes.cmi bytecomp/simplif.cmi typing/printtyp.cmi \
- bytecomp/printlambda.cmi parsing/printast.cmi driver/pparse.cmi \
- parsing/parse.cmi utils/misc.cmi parsing/location.cmi \
- typing/includemod.cmi typing/ident.cmi typing/env.cmi utils/config.cmi \
- asmcomp/compilenv.cmi utils/clflags.cmi utils/ccomp.cmi \
- asmcomp/asmgen.cmi driver/optcompile.cmi
+ typing/stypes.cmi bytecomp/simplif.cmi typing/printtyped.cmi \
+ typing/printtyp.cmi bytecomp/printlambda.cmi parsing/printast.cmi \
+ parsing/pprintast.cmi driver/pparse.cmi parsing/parse.cmi utils/misc.cmi \
+ parsing/location.cmi typing/includemod.cmi typing/ident.cmi \
+ typing/env.cmi utils/config.cmi asmcomp/compilenv.cmi utils/clflags.cmi \
+ utils/ccomp.cmi asmcomp/asmgen.cmi driver/optcompile.cmi
driver/optcompile.cmx : utils/warnings.cmx typing/typemod.cmx \
typing/typedtree.cmx typing/typecore.cmx bytecomp/translmod.cmx \
- typing/stypes.cmx bytecomp/simplif.cmx typing/printtyp.cmx \
- bytecomp/printlambda.cmx parsing/printast.cmx driver/pparse.cmx \
- parsing/parse.cmx utils/misc.cmx parsing/location.cmx \
- typing/includemod.cmx typing/ident.cmx typing/env.cmx utils/config.cmx \
- asmcomp/compilenv.cmx utils/clflags.cmx utils/ccomp.cmx \
- asmcomp/asmgen.cmx driver/optcompile.cmi
+ typing/stypes.cmx bytecomp/simplif.cmx typing/printtyped.cmx \
+ typing/printtyp.cmx bytecomp/printlambda.cmx parsing/printast.cmx \
+ parsing/pprintast.cmx driver/pparse.cmx parsing/parse.cmx utils/misc.cmx \
+ parsing/location.cmx typing/includemod.cmx typing/ident.cmx \
+ typing/env.cmx utils/config.cmx asmcomp/compilenv.cmx utils/clflags.cmx \
+ utils/ccomp.cmx asmcomp/asmgen.cmx driver/optcompile.cmi
driver/opterrors.cmo : utils/warnings.cmi typing/typetexp.cmi \
typing/typemod.cmi typing/typedecl.cmi typing/typecore.cmi \
typing/typeclass.cmi bytecomp/translmod.cmi bytecomp/translcore.cmi \
@@ -910,37 +915,39 @@ toplevel/genprintval.cmx : typing/types.cmx typing/printtyp.cmx \
parsing/longident.cmx typing/ident.cmx typing/env.cmx typing/datarepr.cmx \
typing/ctype.cmx typing/btype.cmx toplevel/genprintval.cmi
toplevel/opttopdirs.cmo : utils/warnings.cmi typing/types.cmi \
- typing/printtyp.cmi typing/path.cmi toplevel/opttoploop.cmi \
- utils/misc.cmi parsing/longident.cmi typing/ident.cmi typing/env.cmi \
- typing/ctype.cmi utils/config.cmi utils/clflags.cmi asmcomp/asmlink.cmi \
+ typing/printtyp.cmi toplevel/opttoploop.cmi utils/misc.cmi \
+ parsing/longident.cmi typing/ident.cmi typing/env.cmi typing/ctype.cmi \
+ utils/config.cmi utils/clflags.cmi asmcomp/asmlink.cmi \
toplevel/opttopdirs.cmi
toplevel/opttopdirs.cmx : utils/warnings.cmx typing/types.cmx \
- typing/printtyp.cmx typing/path.cmx toplevel/opttoploop.cmx \
- utils/misc.cmx parsing/longident.cmx typing/ident.cmx typing/env.cmx \
- typing/ctype.cmx utils/config.cmx utils/clflags.cmx asmcomp/asmlink.cmx \
+ typing/printtyp.cmx toplevel/opttoploop.cmx utils/misc.cmx \
+ parsing/longident.cmx typing/ident.cmx typing/env.cmx typing/ctype.cmx \
+ utils/config.cmx utils/clflags.cmx asmcomp/asmlink.cmx \
toplevel/opttopdirs.cmi
toplevel/opttoploop.cmo : utils/warnings.cmi typing/types.cmi \
typing/typemod.cmi typing/typedtree.cmi typing/typecore.cmi \
- bytecomp/translmod.cmi bytecomp/simplif.cmi typing/printtyp.cmi \
- bytecomp/printlambda.cmi parsing/printast.cmi typing/predef.cmi \
- typing/path.cmi parsing/parsetree.cmi parsing/parse.cmi \
- typing/outcometree.cmi driver/opterrors.cmi driver/optcompile.cmi \
- typing/oprint.cmi utils/misc.cmi parsing/longident.cmi \
- parsing/location.cmi parsing/lexer.cmi bytecomp/lambda.cmi \
- typing/ident.cmi toplevel/genprintval.cmi typing/env.cmi utils/config.cmi \
- asmcomp/compilenv.cmi utils/clflags.cmi typing/btype.cmi \
- asmcomp/asmlink.cmi asmcomp/asmgen.cmi toplevel/opttoploop.cmi
+ bytecomp/translmod.cmi bytecomp/simplif.cmi typing/printtyped.cmi \
+ typing/printtyp.cmi bytecomp/printlambda.cmi parsing/printast.cmi \
+ typing/predef.cmi parsing/pprintast.cmi typing/path.cmi \
+ parsing/parsetree.cmi parsing/parse.cmi typing/outcometree.cmi \
+ driver/opterrors.cmi driver/optcompile.cmi typing/oprint.cmi \
+ utils/misc.cmi parsing/longident.cmi parsing/location.cmi \
+ parsing/lexer.cmi typing/ident.cmi toplevel/genprintval.cmi \
+ typing/env.cmi utils/config.cmi asmcomp/compilenv.cmi utils/clflags.cmi \
+ typing/btype.cmi asmcomp/asmlink.cmi asmcomp/asmgen.cmi \
+ toplevel/opttoploop.cmi
toplevel/opttoploop.cmx : utils/warnings.cmx typing/types.cmx \
typing/typemod.cmx typing/typedtree.cmx typing/typecore.cmx \
- bytecomp/translmod.cmx bytecomp/simplif.cmx typing/printtyp.cmx \
- bytecomp/printlambda.cmx parsing/printast.cmx typing/predef.cmx \
- typing/path.cmx parsing/parsetree.cmi parsing/parse.cmx \
- typing/outcometree.cmi driver/opterrors.cmx driver/optcompile.cmx \
- typing/oprint.cmx utils/misc.cmx parsing/longident.cmx \
- parsing/location.cmx parsing/lexer.cmx bytecomp/lambda.cmx \
- typing/ident.cmx toplevel/genprintval.cmx typing/env.cmx utils/config.cmx \
- asmcomp/compilenv.cmx utils/clflags.cmx typing/btype.cmx \
- asmcomp/asmlink.cmx asmcomp/asmgen.cmx toplevel/opttoploop.cmi
+ bytecomp/translmod.cmx bytecomp/simplif.cmx typing/printtyped.cmx \
+ typing/printtyp.cmx bytecomp/printlambda.cmx parsing/printast.cmx \
+ typing/predef.cmx parsing/pprintast.cmx typing/path.cmx \
+ parsing/parsetree.cmi parsing/parse.cmx typing/outcometree.cmi \
+ driver/opterrors.cmx driver/optcompile.cmx typing/oprint.cmx \
+ utils/misc.cmx parsing/longident.cmx parsing/location.cmx \
+ parsing/lexer.cmx typing/ident.cmx toplevel/genprintval.cmx \
+ typing/env.cmx utils/config.cmx asmcomp/compilenv.cmx utils/clflags.cmx \
+ typing/btype.cmx asmcomp/asmlink.cmx asmcomp/asmgen.cmx \
+ toplevel/opttoploop.cmi
toplevel/opttopmain.cmo : utils/warnings.cmi asmcomp/printmach.cmi \
toplevel/opttoploop.cmi toplevel/opttopdirs.cmi driver/opterrors.cmi \
utils/misc.cmi driver/main_args.cmi parsing/location.cmi utils/config.cmi \
@@ -966,25 +973,27 @@ toplevel/topdirs.cmx : utils/warnings.cmx typing/types.cmx \
toplevel/toploop.cmo : utils/warnings.cmi typing/types.cmi \
typing/typemod.cmi typing/typedtree.cmi typing/typecore.cmi \
bytecomp/translmod.cmi bytecomp/symtable.cmi bytecomp/simplif.cmi \
- typing/printtyp.cmi bytecomp/printlambda.cmi bytecomp/printinstr.cmi \
- parsing/printast.cmi typing/predef.cmi typing/path.cmi \
- parsing/parsetree.cmi parsing/parse.cmi typing/outcometree.cmi \
- typing/oprint.cmi utils/misc.cmi bytecomp/meta.cmi parsing/longident.cmi \
- parsing/location.cmi parsing/lexer.cmi typing/includemod.cmi \
- typing/ident.cmi toplevel/genprintval.cmi driver/errors.cmi \
- typing/env.cmi bytecomp/emitcode.cmi bytecomp/dll.cmi utils/consistbl.cmi \
+ typing/printtyped.cmi typing/printtyp.cmi bytecomp/printlambda.cmi \
+ bytecomp/printinstr.cmi parsing/printast.cmi typing/predef.cmi \
+ parsing/pprintast.cmi typing/path.cmi parsing/parsetree.cmi \
+ parsing/parse.cmi typing/outcometree.cmi typing/oprint.cmi utils/misc.cmi \
+ bytecomp/meta.cmi parsing/longident.cmi parsing/location.cmi \
+ parsing/lexer.cmi typing/includemod.cmi typing/ident.cmi \
+ toplevel/genprintval.cmi driver/errors.cmi typing/env.cmi \
+ bytecomp/emitcode.cmi bytecomp/dll.cmi utils/consistbl.cmi \
utils/config.cmi driver/compile.cmi utils/clflags.cmi \
bytecomp/bytegen.cmi typing/btype.cmi toplevel/toploop.cmi
toplevel/toploop.cmx : utils/warnings.cmx typing/types.cmx \
typing/typemod.cmx typing/typedtree.cmx typing/typecore.cmx \
bytecomp/translmod.cmx bytecomp/symtable.cmx bytecomp/simplif.cmx \
- typing/printtyp.cmx bytecomp/printlambda.cmx bytecomp/printinstr.cmx \
- parsing/printast.cmx typing/predef.cmx typing/path.cmx \
- parsing/parsetree.cmi parsing/parse.cmx typing/outcometree.cmi \
- typing/oprint.cmx utils/misc.cmx bytecomp/meta.cmx parsing/longident.cmx \
- parsing/location.cmx parsing/lexer.cmx typing/includemod.cmx \
- typing/ident.cmx toplevel/genprintval.cmx driver/errors.cmx \
- typing/env.cmx bytecomp/emitcode.cmx bytecomp/dll.cmx utils/consistbl.cmx \
+ typing/printtyped.cmx typing/printtyp.cmx bytecomp/printlambda.cmx \
+ bytecomp/printinstr.cmx parsing/printast.cmx typing/predef.cmx \
+ parsing/pprintast.cmx typing/path.cmx parsing/parsetree.cmi \
+ parsing/parse.cmx typing/outcometree.cmi typing/oprint.cmx utils/misc.cmx \
+ bytecomp/meta.cmx parsing/longident.cmx parsing/location.cmx \
+ parsing/lexer.cmx typing/includemod.cmx typing/ident.cmx \
+ toplevel/genprintval.cmx driver/errors.cmx typing/env.cmx \
+ bytecomp/emitcode.cmx bytecomp/dll.cmx utils/consistbl.cmx \
utils/config.cmx driver/compile.cmx utils/clflags.cmx \
bytecomp/bytegen.cmx typing/btype.cmx toplevel/toploop.cmi
toplevel/topmain.cmo : utils/warnings.cmi toplevel/toploop.cmi \
View
BIN boot/ocamlc
Binary file not shown.
View
4 testsuite/tests/typing-misc/polyvars.ml
@@ -0,0 +1,4 @@
+type ab = [ `A | `B ];;
+let f (x : [`A]) = match x with #ab -> 1;;
+let f x = ignore (match x with #ab -> 1); ignore (x : [`A]);;
+let f x = ignore (match x with `A|`B -> 1); ignore (x : [`A]);;
View
10 testsuite/tests/typing-misc/polyvars.ml.principal.reference
@@ -0,0 +1,10 @@
+
+# type ab = [ `A | `B ]
+# val f : [ `A ] -> int = <fun>
+# val f : [ `A ] -> unit = <fun>
+# Characters 34-36:
+ let f x = ignore (match x with `A|`B -> 1); ignore (x : [`A]);;
+ ^^
+Warning 12: this sub-pattern is unused.
+val f : [ `A ] -> unit = <fun>
+#
View
10 testsuite/tests/typing-misc/polyvars.ml.reference
@@ -0,0 +1,10 @@
+
+# type ab = [ `A | `B ]
+# val f : [ `A ] -> int = <fun>
+# val f : [ `A ] -> unit = <fun>
+# Characters 34-36:
+ let f x = ignore (match x with `A|`B -> 1); ignore (x : [`A]);;
+ ^^
+Warning 12: this sub-pattern is unused.
+val f : [ `A ] -> unit = <fun>
+#

0 comments on commit b0a238e

Please sign in to comment.
Something went wrong with that request. Please try again.