summaryrefslogtreecommitdiff
path: root/checker/.depend
diff options
context:
space:
mode:
authorGravatar Samuel Mimram <smimram@debian.org>2008-07-25 15:12:53 +0200
committerGravatar Samuel Mimram <smimram@debian.org>2008-07-25 15:12:53 +0200
commita0cfa4f118023d35b767a999d5a2ac4b082857b4 (patch)
treedabcac548e299fee1da464c93b3dba98484f45b1 /checker/.depend
parent2281410e38ef99d025ea77194585a9bc019fdaa9 (diff)
Imported Upstream version 8.2~beta3+dfsgupstream/8.2.beta3+dfsg
Diffstat (limited to 'checker/.depend')
-rw-r--r--checker/.depend58
1 files changed, 58 insertions, 0 deletions
diff --git a/checker/.depend b/checker/.depend
new file mode 100644
index 00000000..09ab6bdd
--- /dev/null
+++ b/checker/.depend
@@ -0,0 +1,58 @@
+checker.cmo: type_errors.cmi term.cmo safe_typing.cmi indtypes.cmi \
+ declarations.cmi check_stat.cmi check.cmo
+checker.cmx: type_errors.cmx term.cmx safe_typing.cmx indtypes.cmx \
+ declarations.cmx check_stat.cmx check.cmx
+check.cmo: safe_typing.cmi
+check.cmx: safe_typing.cmx
+check_stat.cmo: term.cmo safe_typing.cmi indtypes.cmi environ.cmo \
+ declarations.cmi check_stat.cmi
+check_stat.cmx: term.cmx safe_typing.cmx indtypes.cmx environ.cmx \
+ declarations.cmx check_stat.cmi
+closure.cmo: term.cmo environ.cmo closure.cmi
+closure.cmx: term.cmx environ.cmx closure.cmi
+closure.cmi: term.cmo environ.cmo
+declarations.cmo: term.cmo declarations.cmi
+declarations.cmx: term.cmx declarations.cmi
+declarations.cmi: term.cmo
+environ.cmo: term.cmo declarations.cmi
+environ.cmx: term.cmx declarations.cmx
+indtypes.cmo: typeops.cmi term.cmo reduction.cmi inductive.cmi environ.cmo \
+ declarations.cmi indtypes.cmi
+indtypes.cmx: typeops.cmx term.cmx reduction.cmx inductive.cmx environ.cmx \
+ declarations.cmx indtypes.cmi
+indtypes.cmi: typeops.cmi term.cmo environ.cmo declarations.cmi
+inductive.cmo: type_errors.cmi term.cmo reduction.cmi environ.cmo \
+ declarations.cmi inductive.cmi
+inductive.cmx: type_errors.cmx term.cmx reduction.cmx environ.cmx \
+ declarations.cmx inductive.cmi
+inductive.cmi: term.cmo environ.cmo declarations.cmi
+main.cmo: checker.cmo
+main.cmx: checker.cmx
+mod_checking.cmo: typeops.cmi term.cmo subtyping.cmi reduction.cmi modops.cmi \
+ inductive.cmi indtypes.cmi environ.cmo declarations.cmi
+mod_checking.cmx: typeops.cmx term.cmx subtyping.cmx reduction.cmx modops.cmx \
+ inductive.cmx indtypes.cmx environ.cmx declarations.cmx
+modops.cmo: term.cmo environ.cmo declarations.cmi modops.cmi
+modops.cmx: term.cmx environ.cmx declarations.cmx modops.cmi
+modops.cmi: term.cmo environ.cmo declarations.cmi
+reduction.cmo: term.cmo environ.cmo closure.cmi reduction.cmi
+reduction.cmx: term.cmx environ.cmx closure.cmx reduction.cmi
+reduction.cmi: term.cmo environ.cmo
+safe_typing.cmo: validate.cmo modops.cmi mod_checking.cmo environ.cmo \
+ declarations.cmi safe_typing.cmi
+safe_typing.cmx: validate.cmx modops.cmx mod_checking.cmx environ.cmx \
+ declarations.cmx safe_typing.cmi
+safe_typing.cmi: term.cmo environ.cmo declarations.cmi
+subtyping.cmo: typeops.cmi term.cmo reduction.cmi modops.cmi inductive.cmi \
+ environ.cmo declarations.cmi subtyping.cmi
+subtyping.cmx: typeops.cmx term.cmx reduction.cmx modops.cmx inductive.cmx \
+ environ.cmx declarations.cmx subtyping.cmi
+subtyping.cmi: term.cmo environ.cmo declarations.cmi
+type_errors.cmo: term.cmo environ.cmo type_errors.cmi
+type_errors.cmx: term.cmx environ.cmx type_errors.cmi
+type_errors.cmi: term.cmo environ.cmo
+typeops.cmo: type_errors.cmi term.cmo reduction.cmi inductive.cmi environ.cmo \
+ declarations.cmi typeops.cmi
+typeops.cmx: type_errors.cmx term.cmx reduction.cmx inductive.cmx environ.cmx \
+ declarations.cmx typeops.cmi
+typeops.cmi: term.cmo environ.cmo declarations.cmi