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