diff options
| author | Takafumi Saikawa <tscompor@gmail.com> | 2022-08-30 11:50:48 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-30 11:50:48 +0900 |
| commit | 83a6e7e4580adbd4b61b7165dc41a06c273dd651 (patch) | |
| tree | b1b98267b70a5e5a6d8447b709f49615f1390b40 /.depend | |
| parent | d03d7452e93d290c5f076b7805fcf8b3bf166864 (diff) | |
| download | ocaml-83a6e7e4580adbd4b61b7165dc41a06c273dd651.tar.gz | |
separate type_pat and retype_pat (#11027)
- remove Parmatch.Conv
- unCPS type_pat, CPS remaining only in retype_pat
- promote testsuite/tests/typing-sigsubst/sigsubst.ml
Diffstat (limited to '.depend')
| -rw-r--r-- | .depend | 7 |
1 files changed, 2 insertions, 5 deletions
@@ -900,7 +900,6 @@ typing/outcometree.cmi : \ parsing/asttypes.cmi typing/parmatch.cmo : \ utils/warnings.cmi \ - typing/untypeast.cmi \ typing/types.cmi \ typing/typedtree.cmi \ typing/tast_iterator.cmi \ @@ -918,11 +917,9 @@ typing/parmatch.cmo : \ typing/ctype.cmi \ typing/btype.cmi \ parsing/asttypes.cmi \ - parsing/ast_helper.cmi \ typing/parmatch.cmi typing/parmatch.cmx : \ utils/warnings.cmx \ - typing/untypeast.cmx \ typing/types.cmx \ typing/typedtree.cmx \ typing/tast_iterator.cmx \ @@ -940,12 +937,10 @@ typing/parmatch.cmx : \ typing/ctype.cmx \ typing/btype.cmx \ parsing/asttypes.cmi \ - parsing/ast_helper.cmx \ typing/parmatch.cmi typing/parmatch.cmi : \ typing/types.cmi \ typing/typedtree.cmi \ - parsing/parsetree.cmi \ parsing/location.cmi \ typing/env.cmi \ parsing/asttypes.cmi @@ -1359,6 +1354,7 @@ typing/typeclass.cmi : \ parsing/asttypes.cmi typing/typecore.cmo : \ utils/warnings.cmi \ + typing/untypeast.cmi \ typing/typetexp.cmi \ typing/types.cmi \ typing/typedtree.cmi \ @@ -1391,6 +1387,7 @@ typing/typecore.cmo : \ typing/typecore.cmi typing/typecore.cmx : \ utils/warnings.cmx \ + typing/untypeast.cmx \ typing/typetexp.cmx \ typing/types.cmx \ typing/typedtree.cmx \ |