Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-17 23:18:50 -0700 (Fri, 17 May 2002)
Revision: 3669
Log message:
This is a lot of little changes.
1) I've removed Mp_mc_term_op and folded it into
the new Mp_mc_base module. Accordingly, I've
updated print.ml for the generation of documentation.
Mp_mc_base contains the contents of Mp_mc_term_op'
(term construction/deconstructon functions), as well
as some convinience functions for debugging code.
(These come in handy in debuggin MCC/MetaPRL interactions.)
The Conscript and Makefile have also been updated,
as well as any "open Module" statements.
2) I'm updating the code that performs the inlining
optimization. It looks a bit nicer now.
And it seems to work as expected.
3) I'm updating Mp_mc_fir_phobos(_exp) to be a bit
cleaner. In particular, Mp_mc_fir_phobos_exp only
declares those terms that we have to work
with directly in MetaPRL, i.e. variable[v:s].
The conversional to transform a preFIR to FIR term
has been modified to remove variable[v:s] terms
last.
Just to emphasize, the inling example (it's in MCC)
currently works.