depend 8.77 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
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
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 
types/ident.cmo: misc/q_symbol.cmo misc/encodings.cmi misc/pool.cmi types/sortedList.cmi 
types/ident.cmx: misc/q_symbol.cmo misc/encodings.cmx misc/pool.cmx types/sortedList.cmx 
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 
types/atoms.cmo: misc/q_symbol.cmo misc/encodings.cmi misc/pool.cmi types/sortedList.cmi \
    types/atoms.cmi 
types/atoms.cmx: misc/q_symbol.cmo misc/encodings.cmx misc/pool.cmx types/sortedList.cmx \
    types/atoms.cmi 
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 \
    misc/pretty.cmi types/sortedList.cmi misc/state.cmi types/types.cmi 
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 \
    misc/pretty.cmx types/sortedList.cmx misc/state.cmx types/types.cmi 
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 
41
42
parser/location.cmo: misc/q_symbol.cmo parser/location.cmi 
parser/location.cmx: misc/q_symbol.cmo parser/location.cmi 
43
44
45
46
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 
parser/ast.cmo: misc/q_symbol.cmo types/ident.cmo parser/location.cmi types/types.cmi 
parser/ast.cmx: misc/q_symbol.cmo types/ident.cmx parser/location.cmx types/types.cmx 
47
parser/parser.cmo: misc/q_symbol.cmo parser/ast.cmo types/atoms.cmi types/chars.cmi \
48
    misc/encodings.cmi types/ident.cmo types/intervals.cmi \
49
50
    parser/location.cmi types/sequence.cmi types/types.cmi parser/wlexer.cmo \
    parser/parser.cmi 
51
parser/parser.cmx: misc/q_symbol.cmo parser/ast.cmx types/atoms.cmx types/chars.cmx \
52
    misc/encodings.cmx types/ident.cmx types/intervals.cmx \
53
54
    parser/location.cmx types/sequence.cmx types/types.cmx parser/wlexer.cmx \
    parser/parser.cmi 
55
typing/typed.cmo: misc/q_symbol.cmo types/ident.cmo parser/location.cmi types/patterns.cmi \
56
    types/types.cmi runtime/value.cmi 
57
typing/typed.cmx: misc/q_symbol.cmo types/ident.cmx parser/location.cmx types/patterns.cmx \
58
    types/types.cmx runtime/value.cmx 
59
typing/typer.cmo: misc/q_symbol.cmo parser/ast.cmo types/ident.cmo parser/location.cmi \
60
61
    types/patterns.cmi types/sequence.cmi misc/state.cmi typing/typed.cmo \
    types/types.cmi typing/typer.cmi 
62
typing/typer.cmx: misc/q_symbol.cmo parser/ast.cmx types/ident.cmx parser/location.cmx \
63
64
    types/patterns.cmx types/sequence.cmx misc/state.cmx typing/typed.cmx \
    types/types.cmx typing/typer.cmi 
65
66
67
68
69
70
runtime/value.cmo: misc/q_symbol.cmo types/atoms.cmi types/chars.cmi misc/encodings.cmi \
    types/ident.cmo types/intervals.cmi types/sequence.cmi types/types.cmi \
    runtime/value.cmi 
runtime/value.cmx: misc/q_symbol.cmo types/atoms.cmx types/chars.cmx misc/encodings.cmx \
    types/ident.cmx types/intervals.cmx types/sequence.cmx types/types.cmx \
    runtime/value.cmi 
71
72
73
74
runtime/load_xml.cmo: misc/q_symbol.cmo types/atoms.cmi misc/encodings.cmi types/ident.cmo \
    parser/location.cmi runtime/value.cmi runtime/load_xml.cmi 
runtime/load_xml.cmx: misc/q_symbol.cmo types/atoms.cmx misc/encodings.cmx types/ident.cmx \
    parser/location.cmx runtime/value.cmx runtime/load_xml.cmi 
75
runtime/run_dispatch.cmo: misc/q_symbol.cmo types/atoms.cmi types/chars.cmi misc/encodings.cmi \
76
    types/ident.cmo types/patterns.cmi types/types.cmi runtime/value.cmi \
77
    runtime/run_dispatch.cmi 
78
runtime/run_dispatch.cmx: misc/q_symbol.cmo types/atoms.cmx types/chars.cmx misc/encodings.cmx \
79
    types/ident.cmx types/patterns.cmx types/types.cmx runtime/value.cmx \
80
    runtime/run_dispatch.cmi 
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
runtime/print_xml.cmo: misc/q_symbol.cmo types/atoms.cmi misc/encodings.cmi types/ident.cmo \
    parser/location.cmi types/sequence.cmi runtime/value.cmi 
runtime/print_xml.cmx: misc/q_symbol.cmo types/atoms.cmx misc/encodings.cmx types/ident.cmx \
    parser/location.cmx types/sequence.cmx runtime/value.cmx 
runtime/eval.cmo: misc/q_symbol.cmo types/ident.cmo types/patterns.cmi runtime/run_dispatch.cmi \
    typing/typed.cmo types/types.cmi runtime/value.cmi runtime/eval.cmi 
runtime/eval.cmx: misc/q_symbol.cmo types/ident.cmx types/patterns.cmx runtime/run_dispatch.cmx \
    typing/typed.cmx types/types.cmx runtime/value.cmx runtime/eval.cmi 
types/builtin.cmo: misc/q_symbol.cmo parser/ast.cmo types/atoms.cmi types/chars.cmi \
    types/ident.cmo types/intervals.cmi runtime/load_xml.cmi \
    parser/location.cmi runtime/print_xml.cmo types/sequence.cmi \
    typing/typed.cmo typing/typer.cmi types/types.cmi runtime/value.cmi 
types/builtin.cmx: misc/q_symbol.cmo parser/ast.cmx types/atoms.cmx types/chars.cmx \
    types/ident.cmx types/intervals.cmx runtime/load_xml.cmx \
    parser/location.cmx runtime/print_xml.cmx types/sequence.cmx \
    typing/typed.cmx typing/typer.cmx types/types.cmx runtime/value.cmx 
97
driver/cduce.cmo: misc/q_symbol.cmo parser/ast.cmo runtime/eval.cmi types/ident.cmo \
98
99
100
    parser/location.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 
101
driver/cduce.cmx: misc/q_symbol.cmo parser/ast.cmx runtime/eval.cmx types/ident.cmx \
102
103
104
    parser/location.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 
105
106
107
108
109
110
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 
111
driver/webiface.cmo: misc/q_symbol.cmo driver/cduce.cmi driver/examples.cmo parser/location.cmi \
112
    misc/state.cmi 
113
driver/webiface.cmx: misc/q_symbol.cmo driver/cduce.cmx driver/examples.cmx parser/location.cmx \
114
    misc/state.cmx 
115
types/boolean.cmi: misc/q_symbol.cmo types/sortedList.cmi 
116
117
118
types/atoms.cmi: misc/q_symbol.cmo misc/encodings.cmi 
types/types.cmi: misc/q_symbol.cmo types/atoms.cmi types/chars.cmi types/ident.cmo \
    types/intervals.cmi types/sortedList.cmi 
119
types/patterns.cmi: misc/q_symbol.cmo types/atoms.cmi types/chars.cmi types/ident.cmo \
120
    types/types.cmi 
121
types/sequence.cmi: misc/q_symbol.cmo types/atoms.cmi types/types.cmi 
122
123
124
125
types/sample.cmi: misc/q_symbol.cmo types/types.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 \
    typing/typed.cmo types/types.cmi 
126
runtime/value.cmi: misc/q_symbol.cmo types/atoms.cmi types/chars.cmi misc/encodings.cmi \
127
    types/ident.cmo types/intervals.cmi types/types.cmi 
128
129
130
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 
131
driver/cduce.cmi: misc/q_symbol.cmo types/ident.cmo types/types.cmi runtime/value.cmi