Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-02-22 12:57:49 -0800 (Sat, 22 Feb 2003)
Revision: 4109
Log message:
Fixed m_ast/m_ir to use AtomFuns in function definitions, added
another testing sequent with the :ext quotation (which you should just
comment out next time something does not work), and removed the
debugging line from filter_parse.