Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-03 20:35:03 -0800 (Thu, 03 Feb 2005)
Revision: 6591
Log message:

      Copy declare items from the interface during the checking phase.
      This eliminates duplicate declares, and provides a genric way to copy
      items from the interface.
      

Changes	Path
+36 -39	metaprl-branches/opname_classes4/filter/base/filter_cache_fun.ml
+146 -109	metaprl-branches/opname_classes4/filter/base/filter_summary.ml
+4 -1	metaprl-branches/opname_classes4/filter/base/filter_summary.mli
+4 -1	metaprl-branches/opname_classes4/filter/filter/filter_parse.ml