Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-18 15:34:32 -0800 (Tue, 18 Jan 2005)
Revision: 6433
Log message:

      Aleksey is right, we need to keep opname info in signatures.
      This commit includes a opname type checker (not working at
      the moment).
      

Changes	Path
+170 -104	metaprl-branches/opname_classes/filter/base/filter_cache_fun.ml
+1 -1	metaprl-branches/opname_classes/filter/base/filter_magic.ml
+43 -11	metaprl-branches/opname_classes/filter/base/filter_summary.ml
+1 -1	metaprl-branches/opname_classes/filter/base/filter_summary_type.ml
+5 -1	metaprl-branches/opname_classes/filter/base/filter_type.ml
+16 -8	metaprl-branches/opname_classes/filter/filter/filter_parse.ml