depend 12.4 KB
Newer Older
1
2
misc/state.cmo: misc/q_symbol.cmo misc/state.cmi 
misc/state.cmx: misc/q_symbol.cmo misc/state.cmi 
3
4
misc/pool.cmo: misc/q_symbol.cmo misc/state.cmi misc/pool.cmi 
misc/pool.cmx: misc/q_symbol.cmo misc/state.cmx misc/pool.cmi 
5
6
7
8
misc/encodings.cmo: misc/q_symbol.cmo misc/encodings.cmi 
misc/encodings.cmx: misc/q_symbol.cmo misc/encodings.cmi 
misc/bool.cmo: misc/q_symbol.cmo misc/bool.cmi 
misc/bool.cmx: misc/q_symbol.cmo misc/bool.cmi 
9
10
misc/pretty.cmo: misc/q_symbol.cmo misc/pretty.cmi 
misc/pretty.cmx: misc/q_symbol.cmo misc/pretty.cmi 
11
12
misc/ns.cmo: misc/q_symbol.cmo misc/encodings.cmi misc/pool.cmi misc/state.cmi misc/ns.cmi 
misc/ns.cmx: misc/q_symbol.cmo misc/encodings.cmx misc/pool.cmx misc/state.cmx misc/ns.cmi 
13
14
15
16
types/sortedList.cmo: misc/q_symbol.cmo types/sortedList.cmi 
types/sortedList.cmx: misc/q_symbol.cmo types/sortedList.cmi 
types/boolean.cmo: misc/q_symbol.cmo types/sortedList.cmi types/boolean.cmi 
types/boolean.cmx: misc/q_symbol.cmo types/sortedList.cmx types/boolean.cmi 
17
18
19
20
types/ident.cmo: misc/q_symbol.cmo misc/encodings.cmi misc/ns.cmi misc/pool.cmi \
    types/sortedList.cmi 
types/ident.cmx: misc/q_symbol.cmo misc/encodings.cmx misc/ns.cmx misc/pool.cmx \
    types/sortedList.cmx 
21
22
23
24
types/intervals.cmo: misc/q_symbol.cmo types/intervals.cmi 
types/intervals.cmx: misc/q_symbol.cmo types/intervals.cmi 
types/chars.cmo: misc/q_symbol.cmo types/chars.cmi 
types/chars.cmx: misc/q_symbol.cmo types/chars.cmi 
25
26
27
28
types/atoms.cmo: misc/q_symbol.cmo misc/encodings.cmi misc/ns.cmi misc/pool.cmi \
    types/sortedList.cmi types/atoms.cmi 
types/atoms.cmx: misc/q_symbol.cmo misc/encodings.cmx misc/ns.cmx misc/pool.cmx \
    types/sortedList.cmx types/atoms.cmi 
29
30
31
32
types/normal.cmo: misc/q_symbol.cmo types/normal.cmi 
types/normal.cmx: misc/q_symbol.cmo types/normal.cmi 
types/types.cmo: misc/q_symbol.cmo types/atoms.cmi misc/bool.cmi types/chars.cmi \
    misc/encodings.cmi types/ident.cmo types/intervals.cmi types/normal.cmi \
33
34
    misc/ns.cmi misc/pretty.cmi types/sortedList.cmi misc/state.cmi \
    types/types.cmi 
35
36
types/types.cmx: misc/q_symbol.cmo types/atoms.cmx misc/bool.cmx types/chars.cmx \
    misc/encodings.cmx types/ident.cmx types/intervals.cmx types/normal.cmx \
37
38
    misc/ns.cmx misc/pretty.cmx types/sortedList.cmx misc/state.cmx \
    types/types.cmi 
39
40
41
42
43
44
45
46
types/patterns.cmo: misc/q_symbol.cmo types/atoms.cmi types/chars.cmi types/ident.cmo \
    types/sortedList.cmi misc/state.cmi types/types.cmi types/patterns.cmi 
types/patterns.cmx: misc/q_symbol.cmo types/atoms.cmx types/chars.cmx types/ident.cmx \
    types/sortedList.cmx misc/state.cmx types/types.cmx types/patterns.cmi 
types/sequence.cmo: misc/q_symbol.cmo types/atoms.cmi types/types.cmi types/sequence.cmi 
types/sequence.cmx: misc/q_symbol.cmo types/atoms.cmx types/types.cmx types/sequence.cmi 
types/sample.cmo: misc/q_symbol.cmo types/ident.cmo types/types.cmi types/sample.cmi 
types/sample.cmx: misc/q_symbol.cmo types/ident.cmx types/types.cmx types/sample.cmi 
47
48
49
50
51
types/builtin_defs.cmo: misc/q_symbol.cmo types/atoms.cmi types/chars.cmi types/intervals.cmi \
    types/sequence.cmi types/types.cmi types/builtin_defs.cmi 
types/builtin_defs.cmx: misc/q_symbol.cmo types/atoms.cmx types/chars.cmx types/intervals.cmx \
    types/sequence.cmx types/types.cmx types/builtin_defs.cmi 
runtime/value.cmo: misc/q_symbol.cmo types/atoms.cmi types/chars.cmi misc/encodings.cmi \
52
53
    types/ident.cmo types/intervals.cmi misc/ns.cmi types/sequence.cmi \
    types/types.cmi runtime/value.cmi 
54
runtime/value.cmx: misc/q_symbol.cmo types/atoms.cmx types/chars.cmx misc/encodings.cmx \
55
56
    types/ident.cmx types/intervals.cmx misc/ns.cmx types/sequence.cmx \
    types/types.cmx runtime/value.cmi 
57
58
schema/schema_types.cmo: misc/q_symbol.cmo runtime/value.cmi schema/schema_types.cmi 
schema/schema_types.cmx: misc/q_symbol.cmo runtime/value.cmx schema/schema_types.cmi 
59
60
61
62
schema/schema_xml.cmo: misc/q_symbol.cmo types/atoms.cmi misc/encodings.cmi misc/ns.cmi \
    runtime/value.cmi schema/schema_xml.cmi 
schema/schema_xml.cmx: misc/q_symbol.cmo types/atoms.cmx misc/encodings.cmx misc/ns.cmx \
    runtime/value.cmx schema/schema_xml.cmi 
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
schema/schema_builtin.cmo: misc/q_symbol.cmo types/builtin_defs.cmi types/intervals.cmi \
    schema/schema_types.cmi types/types.cmi runtime/value.cmi \
    schema/schema_builtin.cmi 
schema/schema_builtin.cmx: misc/q_symbol.cmo types/builtin_defs.cmx types/intervals.cmx \
    schema/schema_types.cmx types/types.cmx runtime/value.cmx \
    schema/schema_builtin.cmi 
schema/schema_validator.cmo: misc/q_symbol.cmo types/atoms.cmi schema/schema_builtin.cmi \
    schema/schema_types.cmi schema/schema_xml.cmi runtime/value.cmi \
    schema/schema_validator.cmi 
schema/schema_validator.cmx: misc/q_symbol.cmo types/atoms.cmx schema/schema_builtin.cmx \
    schema/schema_types.cmx schema/schema_xml.cmx runtime/value.cmx \
    schema/schema_validator.cmi 
schema/schema_parser.cmo: misc/q_symbol.cmo schema/schema_builtin.cmi schema/schema_types.cmi \
    schema/schema_validator.cmi schema/schema_xml.cmi runtime/value.cmi \
    schema/schema_parser.cmi 
schema/schema_parser.cmx: misc/q_symbol.cmo schema/schema_builtin.cmx schema/schema_types.cmx \
    schema/schema_validator.cmx schema/schema_xml.cmx runtime/value.cmx \
    schema/schema_parser.cmi 
81
82
parser/location.cmo: misc/q_symbol.cmo parser/location.cmi 
parser/location.cmx: misc/q_symbol.cmo parser/location.cmi 
83
84
parser/wlexer.cmo: misc/q_symbol.cmo misc/encodings.cmi parser/location.cmi 
parser/wlexer.cmx: misc/q_symbol.cmo misc/encodings.cmx parser/location.cmx 
85
86
87
88
parser/ast.cmo: misc/q_symbol.cmo types/ident.cmo parser/location.cmi misc/ns.cmi \
    schema/schema_types.cmi types/types.cmi 
parser/ast.cmx: misc/q_symbol.cmo types/ident.cmx parser/location.cmx misc/ns.cmx \
    schema/schema_types.cmx types/types.cmx 
89
parser/parser.cmo: misc/q_symbol.cmo parser/ast.cmo types/atoms.cmi types/chars.cmi \
90
    misc/encodings.cmi types/ident.cmo types/intervals.cmi \
91
92
93
    parser/location.cmi misc/ns.cmi schema/schema_parser.cmi \
    schema/schema_xml.cmi types/sequence.cmi types/types.cmi \
    parser/wlexer.cmo parser/parser.cmi 
94
parser/parser.cmx: misc/q_symbol.cmo parser/ast.cmx types/atoms.cmx types/chars.cmx \
95
    misc/encodings.cmx types/ident.cmx types/intervals.cmx \
96
97
98
    parser/location.cmx misc/ns.cmx schema/schema_parser.cmx \
    schema/schema_xml.cmx types/sequence.cmx types/types.cmx \
    parser/wlexer.cmx parser/parser.cmi 
99
typing/typed.cmo: misc/q_symbol.cmo types/ident.cmo parser/location.cmi types/patterns.cmi \
100
    types/types.cmi runtime/value.cmi 
101
typing/typed.cmx: misc/q_symbol.cmo types/ident.cmx parser/location.cmx types/patterns.cmx \
102
    types/types.cmx runtime/value.cmx 
103
typing/typer.cmo: misc/q_symbol.cmo parser/ast.cmo types/atoms.cmi types/chars.cmi \
104
    types/ident.cmo parser/location.cmi misc/ns.cmi types/patterns.cmi \
105
106
107
108
    schema/schema_builtin.cmi schema/schema_types.cmi \
    schema/schema_validator.cmi types/sequence.cmi misc/state.cmi \
    typing/typed.cmo types/types.cmi typing/typer.cmi 
typing/typer.cmx: misc/q_symbol.cmo parser/ast.cmx types/atoms.cmx types/chars.cmx \
109
    types/ident.cmx parser/location.cmx misc/ns.cmx types/patterns.cmx \
110
111
112
    schema/schema_builtin.cmx schema/schema_types.cmx \
    schema/schema_validator.cmx types/sequence.cmx misc/state.cmx \
    typing/typed.cmx types/types.cmx typing/typer.cmi 
113
runtime/load_xml.cmo: misc/q_symbol.cmo types/atoms.cmi misc/encodings.cmi types/ident.cmo \
114
    parser/location.cmi misc/ns.cmi runtime/value.cmi runtime/load_xml.cmi 
115
runtime/load_xml.cmx: misc/q_symbol.cmo types/atoms.cmx misc/encodings.cmx types/ident.cmx \
116
    parser/location.cmx misc/ns.cmx runtime/value.cmx runtime/load_xml.cmi 
117
runtime/run_dispatch.cmo: misc/q_symbol.cmo types/atoms.cmi types/chars.cmi misc/encodings.cmi \
118
    types/ident.cmo types/patterns.cmi types/types.cmi runtime/value.cmi \
119
    runtime/run_dispatch.cmi 
120
runtime/run_dispatch.cmx: misc/q_symbol.cmo types/atoms.cmx types/chars.cmx misc/encodings.cmx \
121
    types/ident.cmx types/patterns.cmx types/types.cmx runtime/value.cmx \
122
    runtime/run_dispatch.cmi 
123
runtime/print_xml.cmo: misc/q_symbol.cmo types/atoms.cmi misc/encodings.cmi types/ident.cmo \
124
125
    parser/location.cmi misc/ns.cmi types/sequence.cmi typing/typer.cmi \
    runtime/value.cmi 
126
runtime/print_xml.cmx: misc/q_symbol.cmo types/atoms.cmx misc/encodings.cmx types/ident.cmx \
127
128
    parser/location.cmx misc/ns.cmx types/sequence.cmx typing/typer.cmx \
    runtime/value.cmx 
129
runtime/eval.cmo: misc/q_symbol.cmo types/ident.cmo types/patterns.cmi runtime/run_dispatch.cmi \
130
131
    schema/schema_validator.cmi schema/schema_xml.cmi typing/typed.cmo \
    typing/typer.cmi types/types.cmi runtime/value.cmi runtime/eval.cmi 
132
runtime/eval.cmx: misc/q_symbol.cmo types/ident.cmx types/patterns.cmx runtime/run_dispatch.cmx \
133
134
135
136
    schema/schema_validator.cmx schema/schema_xml.cmx typing/typed.cmx \
    typing/typer.cmx types/types.cmx runtime/value.cmx runtime/eval.cmi 
types/builtin.cmo: misc/q_symbol.cmo parser/ast.cmo types/atoms.cmi types/builtin_defs.cmi \
    types/chars.cmi types/ident.cmo types/intervals.cmi runtime/load_xml.cmi \
137
    parser/location.cmi misc/ns.cmi runtime/print_xml.cmo types/sequence.cmi \
138
139
140
141
    typing/typed.cmo typing/typer.cmi types/types.cmi runtime/value.cmi \
    types/builtin.cmi 
types/builtin.cmx: misc/q_symbol.cmo parser/ast.cmx types/atoms.cmx types/builtin_defs.cmx \
    types/chars.cmx types/ident.cmx types/intervals.cmx runtime/load_xml.cmx \
142
    parser/location.cmx misc/ns.cmx runtime/print_xml.cmx types/sequence.cmx \
143
144
    typing/typed.cmx typing/typer.cmx types/types.cmx runtime/value.cmx \
    types/builtin.cmi 
145
driver/cduce.cmo: misc/q_symbol.cmo parser/ast.cmo runtime/eval.cmi types/ident.cmo \
146
147
148
    parser/location.cmi misc/ns.cmi parser/parser.cmi types/patterns.cmi \
    types/sample.cmi misc/state.cmi typing/typed.cmo typing/typer.cmi \
    types/types.cmi runtime/value.cmi parser/wlexer.cmo driver/cduce.cmi 
149
driver/cduce.cmx: misc/q_symbol.cmo parser/ast.cmx runtime/eval.cmx types/ident.cmx \
150
151
152
    parser/location.cmx misc/ns.cmx parser/parser.cmx types/patterns.cmx \
    types/sample.cmx misc/state.cmx typing/typed.cmx typing/typer.cmx \
    types/types.cmx runtime/value.cmx parser/wlexer.cmx driver/cduce.cmi 
153
154
155
156
157
158
driver/run.cmo: misc/q_symbol.cmo driver/cduce.cmi types/ident.cmo runtime/load_xml.cmi \
    parser/location.cmi types/sequence.cmi misc/state.cmi runtime/value.cmi \
    parser/wlexer.cmo 
driver/run.cmx: misc/q_symbol.cmo driver/cduce.cmx types/ident.cmx runtime/load_xml.cmx \
    parser/location.cmx types/sequence.cmx misc/state.cmx runtime/value.cmx \
    parser/wlexer.cmx 
159
160
161
162
driver/webiface.cmo: misc/q_symbol.cmo driver/cduce.cmi driver/examples.cmo parser/location.cmi \
    misc/state.cmi 
driver/webiface.cmx: misc/q_symbol.cmo driver/cduce.cmx driver/examples.cmx parser/location.cmx \
    misc/state.cmx 
163
misc/ns.cmi: misc/q_symbol.cmo misc/encodings.cmi 
164
types/boolean.cmi: misc/q_symbol.cmo types/sortedList.cmi 
165
types/atoms.cmi: misc/q_symbol.cmo misc/encodings.cmi misc/ns.cmi 
166
167
types/types.cmi: misc/q_symbol.cmo types/atoms.cmi types/chars.cmi types/ident.cmo \
    types/intervals.cmi types/sortedList.cmi 
168
types/patterns.cmi: misc/q_symbol.cmo types/atoms.cmi types/chars.cmi types/ident.cmo \
169
    types/types.cmi 
170
types/sequence.cmi: misc/q_symbol.cmo types/atoms.cmi types/types.cmi 
171
types/sample.cmi: misc/q_symbol.cmo types/types.cmi 
172
types/builtin_defs.cmi: misc/q_symbol.cmo types/atoms.cmi types/types.cmi 
173
runtime/value.cmi: misc/q_symbol.cmo types/atoms.cmi types/chars.cmi misc/encodings.cmi \
174
    types/ident.cmo types/intervals.cmi types/types.cmi 
175
176
177
178
179
180
181
schema/schema_types.cmi: misc/q_symbol.cmo runtime/value.cmi 
schema/schema_xml.cmi: misc/q_symbol.cmo runtime/value.cmi 
schema/schema_builtin.cmi: misc/q_symbol.cmo types/types.cmi runtime/value.cmi 
schema/schema_validator.cmi: misc/q_symbol.cmo schema/schema_types.cmi runtime/value.cmi 
schema/schema_parser.cmi: misc/q_symbol.cmo schema/schema_types.cmi schema/schema_xml.cmi 
parser/parser.cmi: misc/q_symbol.cmo parser/ast.cmo 
typing/typer.cmi: misc/q_symbol.cmo parser/ast.cmo types/ident.cmo parser/location.cmi \
182
183
    misc/ns.cmi schema/schema_types.cmi schema/schema_validator.cmi \
    typing/typed.cmo types/types.cmi 
184
185
186
runtime/load_xml.cmi: misc/q_symbol.cmo runtime/value.cmi 
runtime/run_dispatch.cmi: misc/q_symbol.cmo types/patterns.cmi runtime/value.cmi 
runtime/eval.cmi: misc/q_symbol.cmo types/ident.cmo typing/typed.cmo runtime/value.cmi 
187
driver/cduce.cmi: misc/q_symbol.cmo types/ident.cmo types/types.cmi runtime/value.cmi