Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
2aa8c985
Commit
2aa8c985
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2003-11-24 17:00:40 by szach] rebuilt
Original author: szach Date: 2003-11-24 17:00:40+00:00
parent
d5b8424b
Changes
1
Hide whitespace changes
Inline
Side-by-side
depend
View file @
2aa8c985
...
...
@@ -42,20 +42,20 @@ 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/custom.cmo misc/encodings.cmi types/ident.cmo types/intervals.cmi \
misc/inttbl.cmi types/normal.cmi misc/
ns
.cmi misc/p
ool
.cmi \
misc/pretty.cmi
misc/serialize.cmi types/sortedList.cmi misc/state.cmi \
misc/stats.cmi
types/types.cmi
misc/inttbl.cmi types/normal.cmi misc/
pool
.cmi misc/p
retty
.cmi \
misc/serialize.cmi types/sortedList.cmi misc/state.cmi
misc/stats.cmi
\
types/types.cmi
types/types.cmx: misc/q_symbol.cmo types/atoms.cmx misc/bool.cmx types/chars.cmx \
misc/custom.cmx misc/encodings.cmx types/ident.cmx types/intervals.cmx \
misc/inttbl.cmx types/normal.cmx misc/
ns
.cmx misc/p
ool
.cmx \
misc/pretty.cmx
misc/serialize.cmx types/sortedList.cmx misc/state.cmx \
misc/stats.cmx
types/types.cmi
misc/inttbl.cmx types/normal.cmx misc/
pool
.cmx misc/p
retty
.cmx \
misc/serialize.cmx types/sortedList.cmx misc/state.cmx
misc/stats.cmx
\
types/types.cmi
types/patterns.cmo: misc/q_symbol.cmo types/atoms.cmi types/chars.cmi misc/custom.cmo \
types/ident.cmo misc/serialize.cmi types/sortedList.cmi misc/state.cmi \
types/types.cmi types/patterns.cmi
misc/stats.cmi
types/types.cmi types/patterns.cmi
types/patterns.cmx: misc/q_symbol.cmo types/atoms.cmx types/chars.cmx misc/custom.cmx \
types/ident.cmx misc/serialize.cmx types/sortedList.cmx misc/state.cmx \
types/types.cmx types/patterns.cmi
misc/stats.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
...
...
@@ -67,41 +67,41 @@ types/builtin_defs.cmx: misc/q_symbol.cmo types/atoms.cmx types/chars.cmx types/
types/intervals.cmx misc/ns.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 \
types/ident.cmo types/intervals.cmi compile/lambda.cmo
misc/ns
.cmi \
types/sequence.cmi
types/types.cmi runtime/value.cmi
types/ident.cmo types/intervals.cmi compile/lambda.cmo
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 compile/lambda.cmx misc/ns.cmx \
types/sequence.cmx types/types.cmx runtime/value.cmi
schema/schema_xml.cmo: misc/q_symbol.cmo schema/schema_xml.cmi
schema/schema_xml.cmx: misc/q_symbol.cmo schema/schema_xml.cmi
schema/schema_common.cmo: misc/q_symbol.cmo types/intervals.cmi schema/schema_types.cmi \
types/ident.cmx types/intervals.cmx compile/lambda.cmx types/sequence.cmx \
types/types.cmx runtime/value.cmi
schema/schema_xml.cmo: misc/q_symbol.cmo misc/encodings.cmi misc/ns.cmi schema/schema_xml.cmi
schema/schema_xml.cmx: misc/q_symbol.cmo misc/encodings.cmx misc/ns.cmx schema/schema_xml.cmi
schema/schema_common.cmo: misc/q_symbol.cmo types/atoms.cmi misc/encodings.cmi \
types/intervals.cmi misc/ns.cmi schema/schema_types.cmi \
schema/schema_xml.cmi runtime/value.cmi schema/schema_common.cmi
schema/schema_common.cmx: misc/q_symbol.cmo types/intervals.cmx schema/schema_types.cmi \
schema/schema_common.cmx: misc/q_symbol.cmo types/atoms.cmx misc/encodings.cmx \
types/intervals.cmx misc/ns.cmx schema/schema_types.cmi \
schema/schema_xml.cmx runtime/value.cmx schema/schema_common.cmi
schema/schema_builtin.cmo: misc/q_symbol.cmo types/builtin_defs.cmi misc/encodings.cmi \
types/intervals.cmi
schema/schema_common
.cmi schema/schema_
types
.cmi \
schema/schema_
xml.cmi types/sequence
.cmi types/
types
.cmi \
runtime/value.cmi schema/schema_builtin.cmi
types/intervals.cmi
misc/ns
.cmi schema/schema_
common
.cmi \
schema/schema_
types.cmi schema/schema_xml
.cmi types/
sequence
.cmi \
types/types.cmi
runtime/value.cmi schema/schema_builtin.cmi
schema/schema_builtin.cmx: misc/q_symbol.cmo types/builtin_defs.cmx misc/encodings.cmx \
types/intervals.cmx schema/schema_common.cmx schema/schema_types.cmi \
schema/schema_xml.cmx types/sequence.cmx types/types.cmx \
runtime/value.cmx schema/schema_builtin.cmi
schema/schema_validator.cmo: misc/q_symbol.cmo types/atoms.cmi misc/encodings.cmi \
types/intervals.cmi misc/ns.cmi schema/schema_builtin.cmi \
schema/schema_common.cmi schema/schema_types.cmi runtime/value.cmi \
schema/schema_validator.cmi
schema/schema_validator.cmx: misc/q_symbol.cmo types/atoms.cmx misc/encodings.cmx \
types/intervals.cmx misc/ns.cmx schema/schema_builtin.cmx \
schema/schema_common.cmx schema/schema_types.cmi runtime/value.cmx \
schema/schema_validator.cmi
schema/schema_parser.cmo: misc/q_symbol.cmo types/intervals.cmi schema/schema_builtin.cmi \
schema/schema_common.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 types/intervals.cmx schema/schema_builtin.cmx \
schema/schema_common.cmx schema/schema_types.cmi \
schema/schema_validator.cmx schema/schema_xml.cmx runtime/value.cmx \
schema/schema_parser.cmi
types/intervals.cmx misc/ns.cmx schema/schema_common.cmx \
schema/schema_types.cmi schema/schema_xml.cmx types/sequence.cmx \
types/types.cmx runtime/value.cmx schema/schema_builtin.cmi
schema/schema_validator.cmo: misc/q_symbol.cmo misc/encodings.cmi types/intervals.cmi \
schema/schema_builtin.cmi schema/schema_common.cmi \
schema/schema_types.cmi runtime/value.cmi schema/schema_validator.cmi
schema/schema_validator.cmx: misc/q_symbol.cmo misc/encodings.cmx types/intervals.cmx \
schema/schema_builtin.cmx schema/schema_common.cmx \
schema/schema_types.cmi runtime/value.cmx schema/schema_validator.cmi
schema/schema_parser.cmo: misc/q_symbol.cmo misc/encodings.cmi types/intervals.cmi misc/ns.cmi \
schema/schema_builtin.cmi schema/schema_common.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 misc/encodings.cmx types/intervals.cmx misc/ns.cmx \
schema/schema_builtin.cmx schema/schema_common.cmx \
schema/schema_types.cmi schema/schema_validator.cmx schema/schema_xml.cmx \
runtime/value.cmx schema/schema_parser.cmi
parser/location.cmo: misc/q_symbol.cmo parser/location.cmi
parser/location.cmx: misc/q_symbol.cmo parser/location.cmi
parser/ulexer.cmo: misc/q_symbol.cmo parser/ulexer.cmi
...
...
@@ -123,19 +123,17 @@ typing/typed.cmo: misc/q_symbol.cmo types/ident.cmo parser/location.cmi types/pa
typing/typed.cmx: misc/q_symbol.cmo types/ident.cmx parser/location.cmx types/patterns.cmx \
schema/schema_types.cmi types/types.cmx
typing/typer.cmo: misc/q_symbol.cmo parser/ast.cmo types/atoms.cmi types/builtin_defs.cmi \
types/chars.cmi misc/encodings.cmi types/ident.cmo types/intervals.cmi \
parser/location.cmi misc/ns.cmi types/patterns.cmi \
schema/schema_builtin.cmi schema/schema_common.cmi \
schema/schema_types.cmi types/sequence.cmi misc/serialize.cmi \
misc/state.cmi misc/stats.cmi typing/typed.cmo types/types.cmi \
runtime/value.cmi typing/typer.cmi
types/chars.cmi types/ident.cmo types/intervals.cmi parser/location.cmi \
misc/ns.cmi types/patterns.cmi schema/schema_builtin.cmi \
schema/schema_common.cmi schema/schema_types.cmi types/sequence.cmi \
misc/serialize.cmi misc/state.cmi misc/stats.cmi typing/typed.cmo \
types/types.cmi runtime/value.cmi typing/typer.cmi
typing/typer.cmx: misc/q_symbol.cmo parser/ast.cmx types/atoms.cmx types/builtin_defs.cmx \
types/chars.cmx misc/encodings.cmx types/ident.cmx types/intervals.cmx \
parser/location.cmx misc/ns.cmx types/patterns.cmx \
schema/schema_builtin.cmx schema/schema_common.cmx \
schema/schema_types.cmi types/sequence.cmx misc/serialize.cmx \
misc/state.cmx misc/stats.cmx typing/typed.cmx types/types.cmx \
runtime/value.cmx typing/typer.cmi
types/chars.cmx types/ident.cmx types/intervals.cmx parser/location.cmx \
misc/ns.cmx types/patterns.cmx schema/schema_builtin.cmx \
schema/schema_common.cmx schema/schema_types.cmi types/sequence.cmx \
misc/serialize.cmx misc/state.cmx misc/stats.cmx typing/typed.cmx \
types/types.cmx runtime/value.cmx typing/typer.cmi
compile/lambda.cmo: misc/q_symbol.cmo types/ident.cmo types/patterns.cmi misc/serialize.cmi \
types/types.cmi
compile/lambda.cmx: misc/q_symbol.cmo types/ident.cmx types/patterns.cmx misc/serialize.cmx \
...
...
@@ -214,8 +212,6 @@ driver/cduce.cmx: misc/q_symbol.cmo parser/ast.cmx types/builtin.cmx compile/com
types/patterns.cmx types/sample.cmx schema/schema_common.cmx \
misc/state.cmx typing/typed.cmx typing/typer.cmx types/types.cmx \
parser/ulexer.cmx runtime/value.cmx driver/cduce.cmi
query/query_parse.cmo: misc/q_symbol.cmo parser/parser.cmi
query/query_parse.cmx: misc/q_symbol.cmo parser/parser.cmx
driver/run.cmo: misc/q_symbol.cmo driver/cduce.cmi types/ident.cmo driver/librarian.cmi \
runtime/load_xml.cmi parser/location.cmi types/sequence.cmi \
misc/state.cmi misc/stats.cmi parser/ulexer.cmi runtime/value.cmi
...
...
@@ -240,17 +236,20 @@ types/intervals.cmi: misc/q_symbol.cmo misc/custom.cmo
types/chars.cmi: misc/q_symbol.cmo misc/custom.cmo
types/atoms.cmi: misc/q_symbol.cmo misc/custom.cmo misc/encodings.cmi misc/ns.cmi
types/types.cmi: misc/q_symbol.cmo types/atoms.cmi types/chars.cmi misc/custom.cmo \
types/ident.cmo types/intervals.cmi misc/inttbl.cmi
types/ident.cmo types/intervals.cmi misc/inttbl.cmi
misc/ns.cmi
types/patterns.cmi: misc/q_symbol.cmo types/atoms.cmi types/chars.cmi misc/custom.cmo \
types/ident.cmo types/types.cmi
types/sequence.cmi: misc/q_symbol.cmo types/atoms.cmi types/types.cmi
types/sample.cmi: misc/q_symbol.cmo types/types.cmi
types/builtin_defs.cmi: misc/q_symbol.cmo types/atoms.cmi types/ident.cmo types/types.cmi
runtime/value.cmi: misc/q_symbol.cmo types/atoms.cmi types/chars.cmi misc/encodings.cmi \
types/ident.cmo types/intervals.cmi compile/lambda.cmo types/types.cmi
schema/schema_common.cmi: misc/q_symbol.cmo types/intervals.cmi schema/schema_types.cmi
schema/schema_builtin.cmi: misc/q_symbol.cmo schema/schema_types.cmi types/types.cmi \
runtime/value.cmi
types/ident.cmo types/intervals.cmi compile/lambda.cmo misc/ns.cmi \
types/types.cmi
schema/schema_xml.cmi: misc/q_symbol.cmo misc/encodings.cmi misc/ns.cmi
schema/schema_common.cmi: misc/q_symbol.cmo misc/encodings.cmi types/intervals.cmi \
schema/schema_types.cmi runtime/value.cmi
schema/schema_builtin.cmi: misc/q_symbol.cmo misc/encodings.cmi schema/schema_types.cmi \
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
...
...
@@ -269,4 +268,5 @@ compile/operators.cmi: misc/q_symbol.cmo misc/custom.cmo parser/location.cmi mis
types/builtin.cmi: misc/q_symbol.cmo typing/typer.cmi
driver/librarian.cmi: misc/q_symbol.cmo types/types.cmi runtime/value.cmi
driver/cduce.cmi: misc/q_symbol.cmo types/ident.cmo types/types.cmi runtime/value.cmi
schema/schema_types.cmi: misc/q_symbol.cmo types/intervals.cmi runtime/value.cmi
schema/schema_types.cmi: misc/q_symbol.cmo misc/encodings.cmi types/intervals.cmi misc/ns.cmi \
runtime/value.cmi
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment