Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-11-02 16:43:10 -0800 (Wed, 02 Nov 2005)
Revision: 8081
Log message:

      Working on the new IO. This commit mostly just rips apart the old code,
      without yet contributing much new.
      
      Not even close to compiling.
      

Changes  Path
+3 -4 metaprl-branches/new_binary_io/filter/base/Files
Deleted metaprl-branches/new_binary_io/filter/base/filter_cache.ml
Deleted metaprl-branches/new_binary_io/filter/base/filter_cache.mli
+32 -23 metaprl-branches/new_binary_io/filter/base/filter_exn.ml
Added metaprl-branches/new_binary_io/filter/base/filter_io.ml
Properties metaprl-branches/new_binary_io/filter/base/filter_io.ml
Added metaprl-branches/new_binary_io/filter/base/filter_io.mli
Properties metaprl-branches/new_binary_io/filter/base/filter_io.mli
+19 -68 metaprl-branches/new_binary_io/filter/base/filter_magic.ml
+15 -16 metaprl-branches/new_binary_io/filter/base/filter_magic.mli
+3 -2 metaprl-branches/new_binary_io/filter/base/filter_ocaml.mli
Deleted metaprl-branches/new_binary_io/filter/base/filter_summary_io.ml
Deleted metaprl-branches/new_binary_io/filter/base/filter_summary_io.mli
+14 -50 metaprl-branches/new_binary_io/filter/base/filter_summary_type.ml
+1 -1 metaprl-branches/new_binary_io/filter/filter/filter_bin.ml
+7 -8 metaprl-branches/new_binary_io/filter/filter/filter_parse.ml
+1 -1 metaprl-branches/new_binary_io/filter/filter/filter_prog.ml
+3 -3 metaprl-branches/new_binary_io/filter/filter/filter_prog.mli
+11 -15 metaprl-branches/new_binary_io/library/library_type_base.ml
+1 -2 metaprl-branches/new_binary_io/library/library_type_base.mli
+2 -3 metaprl-branches/new_binary_io/mllib/OMakefile
Deleted metaprl-branches/new_binary_io/mllib/file_base.ml
Deleted metaprl-branches/new_binary_io/mllib/file_base.mli
Deleted metaprl-branches/new_binary_io/mllib/file_base_type.ml
Added metaprl-branches/new_binary_io/mllib/file_io.ml
Properties metaprl-branches/new_binary_io/mllib/file_io.ml
Added metaprl-branches/new_binary_io/mllib/file_io.mli
Properties metaprl-branches/new_binary_io/mllib/file_io.mli
Added metaprl-branches/new_binary_io/mllib/file_io_sig.ml
Properties metaprl-branches/new_binary_io/mllib/file_io_sig.ml
Deleted metaprl-branches/new_binary_io/mllib/file_type_base.ml
Deleted metaprl-branches/new_binary_io/mllib/file_type_base.mli
+4 -32 metaprl-branches/new_binary_io/support/shell/package_info.mli