Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-05 17:24:35 -0800 (Sat, 05 Feb 2005)
Revision: 6604
Log message:

      Added typechecking on productions.
      

Changes	Path
+8 -6	metaprl-branches/opname_classes4/filter/filter/filter_parse.ml