Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-23 06:46:44 -0800 (Mon, 23 Feb 1998)
Revision: 2093
Log message:

      First implementation of binary file compilation.
      

Changes	Path
+1 -1	metaprl/Makefile
+51 -19	metaprl/filter/Makefile
+10 -3	metaprl/filter/filter_cache.ml
+75 -19	metaprl/filter/filter_cache_fun.ml
+20 -1	metaprl/filter/filter_debug.ml
+19 -0	metaprl/filter/filter_debug.mli
+28 -15	metaprl/filter/filter_parse.ml
Deleted	metaprl/filter/filter_process_type.mlz
+128 -36	metaprl/filter/filter_prog.ml
+6 -3	metaprl/filter/filter_prog.mli
+71 -20	metaprl/filter/filter_summary.ml
+7 -3	metaprl/filter/filter_summary.mli
+7 -2	metaprl/filter/filter_summary_io.ml
+5 -1	metaprl/filter/filter_summary_type.mlz
+55 -13	metaprl/filter/prlcomp.ml
+1 -0	metaprl/mllib/Makefile
+15 -4	metaprl/mllib/debug.ml
+7 -4	metaprl/mllib/debug.mli
+14 -1	metaprl/mllib/file_base.ml
+29 -26	metaprl/mllib/file_type_base.ml
+64 -0	metaprl/mllib/string_util.ml
+13 -0	metaprl/mllib/string_util.mli
+4 -2	metaprl/refiner/theory.ml
+4 -2	metaprl/refiner/theory.mli