Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-03-23 02:24:53 -0800 (Sun, 23 Mar 2003)
Revision: 4219
Log message:
Updated the M parser to use records for functions.
Also added the fib test case in m_test.ml.
Changes | Path |
+103 -56 | metaprl-branches/lm_libmojave/theories/experimental/compile/m_ast.pho |
+12 -0 | metaprl-branches/lm_libmojave/theories/experimental/compile/m_test.ml |