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

Original author: afrisch
Date: 2005-07-08 09:38:13+00:00

header

 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)

types_depend

-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