summaryrefslogtreecommitdiff
path: root/.depend
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2019-08-19 09:48:59 +0200
committerGabriel Scherer <gabriel.scherer@gmail.com>2020-05-14 10:11:36 +0200
commitffb6caef8b9ab890fd60ee6f96fdacba294bbbb6 (patch)
treeb1a441f50449c0ef2b44d43fe2c676c0ccae9b8a /.depend
parentb3434751e23a320297f8b76b7a534ea8dbd6c926 (diff)
downloadocaml-ffb6caef8b9ab890fd60ee6f96fdacba294bbbb6.tar.gz
patterns: move Parmatch.Pattern_head into Patterns.Head
The aim is to also move the Simple/Half_simple/General stuff from matching, but we need to split in those modules the part that are purely structural (they go in Patterns) and the parts that are actually compilation logic (Half_simple.of_clause), those stay in Matching.
Diffstat (limited to '.depend')
-rw-r--r--.depend30
1 files changed, 30 insertions, 0 deletions
diff --git a/.depend b/.depend
index 1c2692e1e0..5699200974 100644
--- a/.depend
+++ b/.depend
@@ -771,6 +771,7 @@ typing/parmatch.cmo : \
typing/subst.cmi \
typing/printpat.cmi \
typing/predef.cmi \
+ typing/patterns.cmi \
typing/path.cmi \
parsing/parsetree.cmi \
utils/misc.cmi \
@@ -793,6 +794,7 @@ typing/parmatch.cmx : \
typing/subst.cmx \
typing/printpat.cmx \
typing/predef.cmx \
+ typing/patterns.cmx \
typing/path.cmx \
parsing/parsetree.cmi \
utils/misc.cmx \
@@ -821,6 +823,32 @@ typing/path.cmx : \
typing/path.cmi
typing/path.cmi : \
typing/ident.cmi
+typing/patterns.cmo : \
+ typing/types.cmi \
+ typing/typedtree.cmi \
+ parsing/longident.cmi \
+ parsing/location.cmi \
+ typing/env.cmi \
+ typing/ctype.cmi \
+ typing/btype.cmi \
+ parsing/asttypes.cmi \
+ typing/patterns.cmi
+typing/patterns.cmx : \
+ typing/types.cmx \
+ typing/typedtree.cmx \
+ parsing/longident.cmx \
+ parsing/location.cmx \
+ typing/env.cmx \
+ typing/ctype.cmx \
+ typing/btype.cmx \
+ parsing/asttypes.cmi \
+ typing/patterns.cmi
+typing/patterns.cmi : \
+ typing/types.cmi \
+ typing/typedtree.cmi \
+ parsing/location.cmi \
+ typing/env.cmi \
+ parsing/asttypes.cmi
typing/persistent_env.cmo : \
utils/warnings.cmi \
utils/misc.cmi \
@@ -3270,6 +3298,7 @@ lambda/matching.cmo : \
lambda/printlambda.cmi \
typing/primitive.cmi \
typing/predef.cmi \
+ typing/patterns.cmi \
typing/parmatch.cmi \
utils/misc.cmi \
parsing/longident.cmi \
@@ -3291,6 +3320,7 @@ lambda/matching.cmx : \
lambda/printlambda.cmx \
typing/primitive.cmx \
typing/predef.cmx \
+ typing/patterns.cmx \
typing/parmatch.cmx \
utils/misc.cmx \
parsing/longident.cmx \