Commit 873ae03c authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-07-08 09:38:13 by afrisch] Empty log message

Original author: afrisch
Date: 2005-07-08 09:38:13+00:00
parent ab82f03e
The CDuce compiler
Alain Frisch <Alain.Frisch@inria.fr> and the CDuce team
Copyright CNRS,INRIA, 2003,2004 (see LICENSE for details)
Copyright CNRS,INRIA, 2003,2004,2005 (see LICENSE for details)
cduce/misc/serialize.cmo: string.cmi list.cmi char.cmi buffer.cmi array.cmi \
cduce/misc/serialize.cmi
cduce/misc/serialize.cmx: string.cmx list.cmx char.cmx buffer.cmx array.cmx \
cduce/misc/serialize.cmi
cduce/misc/custom.cmo: string.cmi cduce/misc/serialize.cmi pervasives.cmi \
list.cmi hashtbl.cmi format.cmi char.cmi array.cmi
cduce/misc/custom.cmx: string.cmx cduce/misc/serialize.cmx pervasives.cmx \
list.cmx hashtbl.cmx format.cmx char.cmx array.cmx
cduce/misc/custom.cmo: string.cmi cduce/misc/serialize.cmi pervasives.cmi \
list.cmi hashtbl.cmi format.cmi char.cmi array.cmi
cduce/misc/custom.cmx: string.cmx cduce/misc/serialize.cmx pervasives.cmx \
list.cmx hashtbl.cmx format.cmx char.cmx array.cmx
cduce/misc/encodings.cmi: cduce/misc/serialize.cmi format.cmi \
cduce/misc/custom.cmo buffer.cmi
cduce/misc/encodings.cmo: string.cmi cduce/misc/serialize.cmi printf.cmi \
format.cmi cduce/misc/custom.cmo char.cmi buffer.cmi \
cduce/misc/encodings.cmi
cduce/misc/encodings.cmx: string.cmx cduce/misc/serialize.cmx printf.cmx \
format.cmx cduce/misc/custom.cmx char.cmx buffer.cmx \
cduce/misc/encodings.cmi
cduce/misc/imap.cmi: format.cmi
cduce/misc/imap.cmo: format.cmi cduce/misc/imap.cmi
cduce/misc/imap.cmx: format.cmx cduce/misc/imap.cmi
cduce/misc/state.cmo: obj.cmi list.cmi cduce/misc/state.cmi
cduce/misc/state.cmx: obj.cmx list.cmx cduce/misc/state.cmi
cduce/misc/pool.cmi: cduce/misc/custom.cmo
cduce/misc/pool.cmo: weak.cmi cduce/misc/state.cmi cduce/misc/serialize.cmi \
map.cmi hashtbl.cmi cduce/misc/custom.cmo array.cmi cduce/misc/pool.cmi
cduce/misc/pool.cmx: weak.cmx cduce/misc/state.cmx cduce/misc/serialize.cmx \
map.cmx hashtbl.cmx cduce/misc/custom.cmx array.cmx cduce/misc/pool.cmi
cduce/misc/ns.cmi: cduce/misc/serialize.cmi format.cmi \
cduce/misc/encodings.cmi cduce/misc/custom.cmo
cduce/misc/ns.cmo: string.cmi cduce/misc/state.cmi cduce/misc/serialize.cmi \
printf.cmi cduce/misc/pool.cmi map.cmi list.cmi hashtbl.cmi format.cmi \
cduce/misc/encodings.cmi cduce/misc/custom.cmo array.cmi \
cduce/misc/ns.cmi
cduce/misc/ns.cmx: string.cmx cduce/misc/state.cmx cduce/misc/serialize.cmx \
printf.cmx cduce/misc/pool.cmx map.cmx list.cmx hashtbl.cmx format.cmx \
cduce/misc/encodings.cmx cduce/misc/custom.cmx array.cmx \
cduce/misc/ns.cmi
cduce/types/sortedList.cmi: cduce/misc/serialize.cmi cduce/misc/custom.cmo
cduce/types/sortedList.cmo: cduce/misc/serialize.cmi list.cmi format.cmi \
cduce/misc/custom.cmo cduce/types/sortedList.cmi
cduce/types/sortedList.cmx: cduce/misc/serialize.cmx list.cmx format.cmx \
cduce/misc/custom.cmx cduce/types/sortedList.cmi
cduce/types/atoms.cmi: cduce/misc/ns.cmi format.cmi cduce/misc/encodings.cmi \
cduce/misc/custom.cmo
cduce/types/atoms.cmo: cduce/types/sortedList.cmi set.cmi cduce/misc/pool.cmi \
pervasives.cmi cduce/misc/ns.cmi list.cmi cduce/misc/imap.cmi hashtbl.cmi \
format.cmi cduce/misc/encodings.cmi cduce/misc/custom.cmo \
cduce/types/atoms.cmi
cduce/types/atoms.cmx: cduce/types/sortedList.cmx set.cmx cduce/misc/pool.cmx \
pervasives.cmx cduce/misc/ns.cmx list.cmx cduce/misc/imap.cmx hashtbl.cmx \
format.cmx cduce/misc/encodings.cmx cduce/misc/custom.cmx \
cduce/types/atoms.cmi
cduce/misc/bool.cmi: format.cmi cduce/misc/custom.cmo
cduce/misc/bool.cmo: cduce/misc/serialize.cmi format.cmi \
cduce/misc/custom.cmo cduce/misc/bool.cmi
cduce/misc/bool.cmx: cduce/misc/serialize.cmx format.cmx \
cduce/misc/custom.cmx cduce/misc/bool.cmi
cduce/types/chars.cmi: format.cmi cduce/misc/custom.cmo
cduce/types/chars.cmo: list.cmi format.cmi cduce/misc/custom.cmo char.cmi \
cduce/types/chars.cmi
cduce/types/chars.cmx: list.cmx format.cmx cduce/misc/custom.cmx char.cmx \
cduce/types/chars.cmi
cduce/types/ident.cmo: cduce/types/sortedList.cmi cduce/misc/pool.cmi \
cduce/misc/ns.cmi map.cmi cduce/misc/encodings.cmi
cduce/types/ident.cmx: cduce/types/sortedList.cmx cduce/misc/pool.cmx \
cduce/misc/ns.cmx map.cmx cduce/misc/encodings.cmx
cduce/types/intervals.cmi: format.cmi cduce/misc/custom.cmo big_int.cmi
cduce/types/intervals.cmo: cduce/misc/serialize.cmi obj.cmi nat.cmi list.cmi \
format.cmi big_int.cmi cduce/types/intervals.cmi
cduce/types/intervals.cmx: cduce/misc/serialize.cmx obj.cmx nat.cmx list.cmx \
format.cmx big_int.cmx cduce/types/intervals.cmi
cduce/misc/inttbl.cmo: array.cmi cduce/misc/inttbl.cmi
cduce/misc/inttbl.cmx: array.cmx cduce/misc/inttbl.cmi
cduce/types/normal.cmo: list.cmi cduce/types/normal.cmi
cduce/types/normal.cmx: list.cmx cduce/types/normal.cmi
cduce/misc/pretty.cmi: hashtbl.cmi
cduce/misc/pretty.cmo: pervasives.cmi list.cmi hashtbl.cmi format.cmi \
cduce/misc/pretty.cmi
cduce/misc/pretty.cmx: pervasives.cmx list.cmx hashtbl.cmx format.cmx \
cduce/misc/pretty.cmi
cduce/misc/stats.cmi: format.cmi
cduce/misc/stats.cmo: printf.cmi list.cmi hashtbl.cmi format.cmi \
cduce/misc/stats.cmi
cduce/misc/stats.cmx: printf.cmx list.cmx hashtbl.cmx format.cmx \
cduce/misc/stats.cmi
cduce/types/ident.cmo: cduce/types/sortedList.cmi cduce/misc/pool.cmi \
cduce/misc/ns.cmi map.cmi cduce/misc/encodings.cmi
cduce/types/ident.cmx: cduce/types/sortedList.cmx cduce/misc/pool.cmx \
cduce/misc/ns.cmx map.cmx cduce/misc/encodings.cmx
cduce/types/types.cmi: obj.cmi cduce/misc/ns.cmi cduce/misc/inttbl.cmi \
cduce/types/intervals.cmi cduce/types/ident.cmo format.cmi \
cduce/misc/custom.cmo cduce/types/chars.cmi cduce/types/atoms.cmi
cduce/types/types.cmo: cduce/misc/stats.cmi cduce/misc/state.cmi \
cduce/types/sortedList.cmi set.cmi cduce/misc/serialize.cmi \
cduce/misc/pretty.cmi cduce/misc/pool.cmi pervasives.cmi obj.cmi \
cduce/misc/ns.cmi cduce/types/normal.cmi map.cmi list.cmi \
cduce/misc/inttbl.cmi cduce/types/intervals.cmi cduce/types/ident.cmo \
hashtbl.cmi format.cmi cduce/misc/encodings.cmi cduce/misc/custom.cmo \
cduce/types/chars.cmi cduce/misc/bool.cmi cduce/types/atoms.cmi array.cmi \
cduce/types/types.cmi
cduce/types/types.cmx: cduce/misc/stats.cmx cduce/misc/state.cmx \
cduce/types/sortedList.cmx set.cmx cduce/misc/serialize.cmx \
cduce/misc/pretty.cmx cduce/misc/pool.cmx pervasives.cmx obj.cmx \
cduce/misc/ns.cmx cduce/types/normal.cmx map.cmx list.cmx \
cduce/misc/inttbl.cmx cduce/types/intervals.cmx cduce/types/ident.cmx \
hashtbl.cmx format.cmx cduce/misc/encodings.cmx cduce/misc/custom.cmx \
cduce/types/chars.cmx cduce/misc/bool.cmx cduce/types/atoms.cmx array.cmx \
cduce/types/types.cmi
cduce/types/sequence.cmi: cduce/types/types.cmi cduce/types/atoms.cmi
cduce/types/sequence.cmo: cduce/types/types.cmi map.cmi list.cmi \
cduce/types/atoms.cmi cduce/types/sequence.cmi
cduce/types/sequence.cmx: cduce/types/types.cmx map.cmx list.cmx \
cduce/types/atoms.cmx cduce/types/sequence.cmi
cduce/types/sample.cmi: cduce/types/types.cmi format.cmi
cduce/types/sample.cmo: cduce/types/types.cmi set.cmi list.cmi \
cduce/types/intervals.cmi cduce/types/ident.cmo cduce/types/chars.cmi \
cduce/types/atoms.cmi cduce/types/sample.cmi
cduce/types/sample.cmx: cduce/types/types.cmx set.cmx list.cmx \
cduce/types/intervals.cmx cduce/types/ident.cmx cduce/types/chars.cmx \
cduce/types/atoms.cmx cduce/types/sample.cmi
cduce/types/patterns.cmi: cduce/types/types.cmi cduce/types/ident.cmo \
format.cmi cduce/misc/custom.cmo cduce/types/chars.cmi \
cduce/types/atoms.cmi
cduce/types/patterns.cmo: cduce/types/types.cmi cduce/misc/stats.cmi \
cduce/misc/state.cmi cduce/types/sortedList.cmi set.cmi \
cduce/misc/serialize.cmi cduce/types/sequence.cmi cduce/types/sample.cmi \
queue.cmi map.cmi list.cmi cduce/types/ident.cmo format.cmi \
cduce/misc/custom.cmo cduce/types/chars.cmi cduce/types/atoms.cmi \
array.cmi cduce/types/patterns.cmi
cduce/types/patterns.cmx: cduce/types/types.cmx cduce/misc/stats.cmx \
cduce/misc/state.cmx cduce/types/sortedList.cmx set.cmx \
cduce/misc/serialize.cmx cduce/types/sequence.cmx cduce/types/sample.cmx \
queue.cmx map.cmx list.cmx cduce/types/ident.cmx format.cmx \
cduce/misc/custom.cmx cduce/types/chars.cmx cduce/types/atoms.cmx \
array.cmx cduce/types/patterns.cmi
cduce/compile/lambda.cmi: cduce/types/types.cmi cduce/misc/serialize.cmi \
cduce/types/patterns.cmi obj.cmi cduce/misc/ns.cmi cduce/types/ident.cmo \
format.cmi
cduce/compile/lambda.cmo: cduce/types/types.cmi cduce/misc/serialize.cmi \
cduce/types/patterns.cmi obj.cmi cduce/misc/ns.cmi list.cmi \
cduce/types/ident.cmo format.cmi array.cmi cduce/compile/lambda.cmi
cduce/compile/lambda.cmx: cduce/types/types.cmx cduce/misc/serialize.cmx \
cduce/types/patterns.cmx obj.cmx cduce/misc/ns.cmx list.cmx \
cduce/types/ident.cmx format.cmx array.cmx cduce/compile/lambda.cmi
cduce/runtime/value.cmi: cduce/types/types.cmi set.cmi obj.cmi \
cduce/misc/ns.cmi cduce/compile/lambda.cmi cduce/types/intervals.cmi \
cduce/types/ident.cmo format.cmi cduce/misc/encodings.cmi \
cduce/types/chars.cmi cduce/types/atoms.cmi
cduce/runtime/value.cmo: cduce/types/types.cmi string.cmi set.cmi \
cduce/types/sequence.cmi obj.cmi cduce/misc/ns.cmi list.cmi \
cduce/compile/lambda.cmi cduce/types/intervals.cmi cduce/types/ident.cmo \
format.cmi cduce/misc/encodings.cmi cduce/types/chars.cmi char.cmi \
buffer.cmi cduce/types/atoms.cmi array.cmi cduce/runtime/value.cmi
cduce/runtime/value.cmx: cduce/types/types.cmx string.cmx set.cmx \
cduce/types/sequence.cmx obj.cmx cduce/misc/ns.cmx list.cmx \
cduce/compile/lambda.cmx cduce/types/intervals.cmx cduce/types/ident.cmx \
format.cmx cduce/misc/encodings.cmx cduce/types/chars.cmx char.cmx \
buffer.cmx cduce/types/atoms.cmx array.cmx cduce/runtime/value.cmi
cduce/runtime/run_dispatch.cmi: cduce/runtime/value.cmi \
cduce/types/patterns.cmi
cduce/runtime/run_dispatch.cmo: cduce/runtime/value.cmi cduce/types/types.cmi \
string.cmi cduce/types/patterns.cmi cduce/types/ident.cmo format.cmi \
cduce/misc/encodings.cmi cduce/types/chars.cmi cduce/types/atoms.cmi \
array.cmi cduce/runtime/run_dispatch.cmi
cduce/runtime/run_dispatch.cmx: cduce/runtime/value.cmx cduce/types/types.cmx \
string.cmx cduce/types/patterns.cmx cduce/types/ident.cmx format.cmx \
cduce/misc/encodings.cmx cduce/types/chars.cmx cduce/types/atoms.cmx \
array.cmx cduce/runtime/run_dispatch.cmi
cduce/runtime/explain.cmi: cduce/runtime/value.cmi cduce/types/types.cmi \
format.cmi
cduce/runtime/explain.cmo: cduce/runtime/value.cmi cduce/types/types.cmi \
cduce/runtime/run_dispatch.cmi cduce/types/patterns.cmi list.cmi lazy.cmi \
cduce/types/ident.cmo format.cmi cduce/misc/encodings.cmi \
cduce/types/chars.cmi buffer.cmi cduce/types/atoms.cmi array.cmi \
cduce/runtime/explain.cmi
cduce/runtime/explain.cmx: cduce/runtime/value.cmx cduce/types/types.cmx \
cduce/runtime/run_dispatch.cmx cduce/types/patterns.cmx list.cmx lazy.cmx \
cduce/types/ident.cmx format.cmx cduce/misc/encodings.cmx \
cduce/types/chars.cmx buffer.cmx cduce/types/atoms.cmx array.cmx \
cduce/runtime/explain.cmi
cduce/runtime/serial.cmi: cduce/runtime/value.cmi cduce/types/types.cmi \
cduce/types/patterns.cmi obj.cmi cduce/types/ident.cmo \
cduce/types/atoms.cmi
cduce/runtime/serial.cmo: cduce/runtime/value.cmi cduce/types/types.cmi \
cduce/misc/serialize.cmi cduce/runtime/run_dispatch.cmi \
cduce/types/patterns.cmi list.cmi cduce/types/ident.cmo \
cduce/runtime/explain.cmi cduce/misc/encodings.cmi cduce/misc/custom.cmo \
cduce/types/atoms.cmi array.cmi cduce/runtime/serial.cmi
cduce/runtime/serial.cmx: cduce/runtime/value.cmx cduce/types/types.cmx \
cduce/misc/serialize.cmx cduce/runtime/run_dispatch.cmx \
cduce/types/patterns.cmx list.cmx cduce/types/ident.cmx \
cduce/runtime/explain.cmx cduce/misc/encodings.cmx cduce/misc/custom.cmx \
cduce/types/atoms.cmx array.cmx cduce/runtime/serial.cmi
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment