Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-08-24 05:54:08 -0700 (Sun, 24 Aug 2003)
Revision: 4873
Log message:
Added test for multi-argument functions.
Changes | Path |
+4 -4 | metaprl/theories/experimental/compile/m_ir_ast.ml |
+12 -0 | metaprl/theories/experimental/compile/m_test.ml |