/[svn]/cduce/trunk/depend
ViewVC logotype

Diff of /cduce/trunk/depend

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1088 by abate, Tue Jul 10 18:21:36 2007 UTC revision 1089 by abate, Tue Jul 10 18:21:44 2007 UTC
# Line 68  Line 68 
68  types/builtin_defs.cmx: types/atoms.cmx types/chars.cmx misc/encodings.cmx \  types/builtin_defs.cmx: types/atoms.cmx types/chars.cmx misc/encodings.cmx \
69      types/ident.cmx types/intervals.cmx misc/ns.cmx types/sequence.cmx \      types/ident.cmx types/intervals.cmx misc/ns.cmx types/sequence.cmx \
70      types/types.cmx types/builtin_defs.cmi      types/types.cmx types/builtin_defs.cmi
71    compile/lambda.cmo: types/ident.cmo types/patterns.cmi misc/serialize.cmi \
72        types/types.cmi
73    compile/lambda.cmx: types/ident.cmx types/patterns.cmx misc/serialize.cmx \
74        types/types.cmx
75  runtime/value.cmo: types/atoms.cmi types/chars.cmi misc/encodings.cmi \  runtime/value.cmo: types/atoms.cmi types/chars.cmi misc/encodings.cmi \
76      types/ident.cmo types/intervals.cmi compile/lambda.cmo types/sequence.cmi \      types/ident.cmo types/intervals.cmi compile/lambda.cmo types/sequence.cmi \
77      types/types.cmi runtime/value.cmi      types/types.cmi runtime/value.cmi
78  runtime/value.cmx: types/atoms.cmx types/chars.cmx misc/encodings.cmx \  runtime/value.cmx: types/atoms.cmx types/chars.cmx misc/encodings.cmx \
79      types/ident.cmx types/intervals.cmx compile/lambda.cmx types/sequence.cmx \      types/ident.cmx types/intervals.cmx compile/lambda.cmx types/sequence.cmx \
80      types/types.cmx runtime/value.cmi      types/types.cmx runtime/value.cmi
81    schema/schema_types.cmo: misc/encodings.cmi types/intervals.cmi misc/ns.cmi \
82        runtime/value.cmi schema/schema_types.cmi
83    schema/schema_types.cmx: misc/encodings.cmx types/intervals.cmx misc/ns.cmx \
84        runtime/value.cmx schema/schema_types.cmi
85  schema/schema_xml.cmo: misc/encodings.cmi misc/ns.cmi schema/schema_xml.cmi  schema/schema_xml.cmo: misc/encodings.cmi misc/ns.cmi schema/schema_xml.cmi
86  schema/schema_xml.cmx: misc/encodings.cmx misc/ns.cmx schema/schema_xml.cmi  schema/schema_xml.cmx: misc/encodings.cmx misc/ns.cmx schema/schema_xml.cmi
87  schema/schema_common.cmo: types/atoms.cmi misc/encodings.cmi \  schema/schema_common.cmo: types/atoms.cmi misc/encodings.cmi \
88      types/intervals.cmi misc/ns.cmi schema/schema_types.cmi \      types/intervals.cmi misc/ns.cmi schema/schema_types.cmi \
89      schema/schema_xml.cmi runtime/value.cmi schema/schema_common.cmi      schema/schema_xml.cmi runtime/value.cmi schema/schema_common.cmi
90  schema/schema_common.cmx: types/atoms.cmx misc/encodings.cmx \  schema/schema_common.cmx: types/atoms.cmx misc/encodings.cmx \
91      types/intervals.cmx misc/ns.cmx schema/schema_types.cmi \      types/intervals.cmx misc/ns.cmx schema/schema_types.cmx \
92      schema/schema_xml.cmx runtime/value.cmx schema/schema_common.cmi      schema/schema_xml.cmx runtime/value.cmx schema/schema_common.cmi
93  schema/schema_builtin.cmo: types/atoms.cmi types/builtin_defs.cmi \  schema/schema_builtin.cmo: types/atoms.cmi types/builtin_defs.cmi \
94      misc/encodings.cmi types/intervals.cmi misc/ns.cmi \      misc/encodings.cmi types/intervals.cmi misc/ns.cmi \
# Line 89  Line 97 
97      schema/schema_builtin.cmi      schema/schema_builtin.cmi
98  schema/schema_builtin.cmx: types/atoms.cmx types/builtin_defs.cmx \  schema/schema_builtin.cmx: types/atoms.cmx types/builtin_defs.cmx \
99      misc/encodings.cmx types/intervals.cmx misc/ns.cmx \      misc/encodings.cmx types/intervals.cmx misc/ns.cmx \
100      schema/schema_common.cmx schema/schema_types.cmi schema/schema_xml.cmx \      schema/schema_common.cmx schema/schema_types.cmx schema/schema_xml.cmx \
101      types/sequence.cmx types/types.cmx runtime/value.cmx \      types/sequence.cmx types/types.cmx runtime/value.cmx \
102      schema/schema_builtin.cmi      schema/schema_builtin.cmi
103  schema/schema_validator.cmo: types/atoms.cmi misc/encodings.cmi \  schema/schema_validator.cmo: types/atoms.cmi misc/encodings.cmi \
# Line 98  Line 106 
106      schema/schema_validator.cmi      schema/schema_validator.cmi
107  schema/schema_validator.cmx: types/atoms.cmx misc/encodings.cmx \  schema/schema_validator.cmx: types/atoms.cmx misc/encodings.cmx \
108      types/intervals.cmx misc/ns.cmx schema/schema_builtin.cmx \      types/intervals.cmx misc/ns.cmx schema/schema_builtin.cmx \
109      schema/schema_common.cmx schema/schema_types.cmi runtime/value.cmx \      schema/schema_common.cmx schema/schema_types.cmx runtime/value.cmx \
110      schema/schema_validator.cmi      schema/schema_validator.cmi
111  schema/schema_parser.cmo: misc/encodings.cmi types/intervals.cmi misc/ns.cmi \  schema/schema_parser.cmo: misc/encodings.cmi types/intervals.cmi misc/ns.cmi \
112      schema/schema_builtin.cmi schema/schema_common.cmi \      schema/schema_builtin.cmi schema/schema_common.cmi \
# Line 106  Line 114 
114      runtime/value.cmi schema/schema_parser.cmi      runtime/value.cmi schema/schema_parser.cmi
115  schema/schema_parser.cmx: misc/encodings.cmx types/intervals.cmx misc/ns.cmx \  schema/schema_parser.cmx: misc/encodings.cmx types/intervals.cmx misc/ns.cmx \
116      schema/schema_builtin.cmx schema/schema_common.cmx \      schema/schema_builtin.cmx schema/schema_common.cmx \
117      schema/schema_types.cmi schema/schema_validator.cmx schema/schema_xml.cmx \      schema/schema_types.cmx schema/schema_validator.cmx schema/schema_xml.cmx \
118      runtime/value.cmx schema/schema_parser.cmi      runtime/value.cmx schema/schema_parser.cmi
119  parser/location.cmo: parser/location.cmi  parser/location.cmo: parser/location.cmi
120  parser/location.cmx: parser/location.cmi  parser/location.cmx: parser/location.cmi
# Line 119  Line 127 
127      schema/schema_types.cmi types/sequence.cmi types/types.cmi      schema/schema_types.cmi types/sequence.cmi types/types.cmi
128  parser/ast.cmx: types/builtin_defs.cmx types/chars.cmx types/ident.cmx \  parser/ast.cmx: types/builtin_defs.cmx types/chars.cmx types/ident.cmx \
129      types/intervals.cmx parser/location.cmx misc/ns.cmx \      types/intervals.cmx parser/location.cmx misc/ns.cmx \
130      schema/schema_types.cmi types/sequence.cmx types/types.cmx      schema/schema_types.cmx types/sequence.cmx types/types.cmx
131  parser/parser.cmo: parser/ast.cmo types/atoms.cmi types/chars.cmi \  parser/parser.cmo: parser/ast.cmo types/atoms.cmi types/chars.cmi \
132      misc/encodings.cmi types/ident.cmo types/intervals.cmi \      misc/encodings.cmi types/ident.cmo types/intervals.cmi \
133      parser/location.cmi misc/ns.cmi schema/schema_parser.cmi \      parser/location.cmi misc/ns.cmi schema/schema_parser.cmi \
# Line 133  Line 141 
141  typing/typed.cmo: types/ident.cmo parser/location.cmi types/patterns.cmi \  typing/typed.cmo: types/ident.cmo parser/location.cmi types/patterns.cmi \
142      schema/schema_types.cmi types/types.cmi      schema/schema_types.cmi types/types.cmi
143  typing/typed.cmx: types/ident.cmx parser/location.cmx types/patterns.cmx \  typing/typed.cmx: types/ident.cmx parser/location.cmx types/patterns.cmx \
144      schema/schema_types.cmi types/types.cmx      schema/schema_types.cmx types/types.cmx
145  typing/typer.cmo: parser/ast.cmo types/atoms.cmi types/builtin_defs.cmi \  typing/typer.cmo: parser/ast.cmo types/atoms.cmi types/builtin_defs.cmi \
146      types/chars.cmi types/ident.cmo types/intervals.cmi parser/location.cmi \      types/chars.cmi types/ident.cmo types/intervals.cmi parser/location.cmi \
147      misc/ns.cmi types/patterns.cmi schema/schema_builtin.cmi \      misc/ns.cmi types/patterns.cmi schema/schema_builtin.cmi \
# Line 143  Line 151 
151  typing/typer.cmx: parser/ast.cmx types/atoms.cmx types/builtin_defs.cmx \  typing/typer.cmx: parser/ast.cmx types/atoms.cmx types/builtin_defs.cmx \
152      types/chars.cmx types/ident.cmx types/intervals.cmx parser/location.cmx \      types/chars.cmx types/ident.cmx types/intervals.cmx parser/location.cmx \
153      misc/ns.cmx types/patterns.cmx schema/schema_builtin.cmx \      misc/ns.cmx types/patterns.cmx schema/schema_builtin.cmx \
154      schema/schema_common.cmx schema/schema_types.cmi types/sequence.cmx \      schema/schema_common.cmx schema/schema_types.cmx types/sequence.cmx \
155      misc/serialize.cmx misc/state.cmx misc/stats.cmx typing/typed.cmx \      misc/serialize.cmx misc/state.cmx misc/stats.cmx typing/typed.cmx \
156      types/types.cmx runtime/value.cmx typing/typer.cmi      types/types.cmx runtime/value.cmx typing/typer.cmi
 compile/lambda.cmo: types/ident.cmo types/patterns.cmi misc/serialize.cmi \  
     types/types.cmi  
 compile/lambda.cmx: types/ident.cmx types/patterns.cmx misc/serialize.cmx \  
     types/types.cmx  
157  runtime/load_xml.cmo: types/atoms.cmi misc/encodings.cmi types/ident.cmo \  runtime/load_xml.cmo: types/atoms.cmi misc/encodings.cmi types/ident.cmo \
158      parser/location.cmi misc/ns.cmi parser/url.cmi runtime/value.cmi \      parser/location.cmi misc/ns.cmi parser/url.cmi runtime/value.cmi \
159      runtime/load_xml.cmi      runtime/load_xml.cmi
# Line 182  Line 186 
186      typing/typer.cmi types/types.cmi runtime/value.cmi runtime/eval.cmi      typing/typer.cmi types/types.cmi runtime/value.cmi runtime/eval.cmi
187  runtime/eval.cmx: types/builtin_defs.cmx types/ident.cmx compile/lambda.cmx \  runtime/eval.cmx: types/builtin_defs.cmx types/ident.cmx compile/lambda.cmx \
188      types/patterns.cmx runtime/run_dispatch.cmx schema/schema_common.cmx \      types/patterns.cmx runtime/run_dispatch.cmx schema/schema_common.cmx \
189      schema/schema_types.cmi schema/schema_validator.cmx types/sequence.cmx \      schema/schema_types.cmx schema/schema_validator.cmx types/sequence.cmx \
190      typing/typer.cmx types/types.cmx runtime/value.cmx runtime/eval.cmi      typing/typer.cmx types/types.cmx runtime/value.cmx runtime/eval.cmi
191  compile/compile.cmo: parser/ast.cmo runtime/eval.cmi types/ident.cmo \  compile/compile.cmo: parser/ast.cmo runtime/eval.cmi types/ident.cmo \
192      compile/lambda.cmo parser/location.cmi types/patterns.cmi \      compile/lambda.cmo parser/location.cmi types/patterns.cmi \
# Line 257  Line 261 
261  tools/validate.cmo: schema/schema_common.cmi schema/schema_parser.cmi \  tools/validate.cmo: schema/schema_common.cmi schema/schema_parser.cmi \
262      schema/schema_types.cmi      schema/schema_types.cmi
263  tools/validate.cmx: schema/schema_common.cmx schema/schema_parser.cmx \  tools/validate.cmx: schema/schema_common.cmx schema/schema_parser.cmx \
264      schema/schema_types.cmi      schema/schema_types.cmx
265  query/query_run.cmo: query/query.cmi driver/run.cmo  query/query_run.cmo: query/query.cmi driver/run.cmo
266  query/query_run.cmx: query/query.cmx driver/run.cmx  query/query_run.cmx: query/query.cmx driver/run.cmx
267  misc/pool.cmi: misc/custom.cmo  misc/pool.cmi: misc/custom.cmo
# Line 279  Line 283 
283  runtime/value.cmi: types/atoms.cmi types/chars.cmi misc/encodings.cmi \  runtime/value.cmi: types/atoms.cmi types/chars.cmi misc/encodings.cmi \
284      types/ident.cmo types/intervals.cmi compile/lambda.cmo misc/ns.cmi \      types/ident.cmo types/intervals.cmi compile/lambda.cmo misc/ns.cmi \
285      types/types.cmi      types/types.cmi
286    schema/schema_types.cmi: misc/encodings.cmi types/intervals.cmi misc/ns.cmi \
287        runtime/value.cmi
288  schema/schema_xml.cmi: misc/encodings.cmi misc/ns.cmi  schema/schema_xml.cmi: misc/encodings.cmi misc/ns.cmi
289  schema/schema_common.cmi: misc/encodings.cmi types/intervals.cmi \  schema/schema_common.cmi: misc/encodings.cmi types/intervals.cmi \
290      schema/schema_types.cmi runtime/value.cmi      schema/schema_types.cmi runtime/value.cmi
Legend:
Removed from v.1088  
changed lines
  Added in v.1089
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5