Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-05-08 20:57:43 -0700 (Wed, 08 May 2002)
Revision: 3614
Log message:
This should be a no-op commit. I've rearranged the code in filter_ocaml.ml
to make it compile faster. This reduces the native code compilation time:
this file - 1/3
whole MetaPRL - 9%
Changes | Path |
+1088 -1042 | metaprl-branches/ocaml_3_04/filter/base/filter_ocaml.ml |
+0 -1 | metaprl-branches/ocaml_3_04/filter/base/filter_ocaml.mli |
+27 -27 | metaprl-branches/ocaml_3_04/mk/rules |