ViewVC logotype

Revision 3562

Jump to revision: Previous Next
Author: emre
Date: Wed Apr 3 08:37:31 2002 UTC (19 years, 3 months ago)
Changed paths: 19
Log Message:
So, I've defined the compile function in Mp_mc_compile to actually
take an Fir.prog, convert the function definitions to terms,
and then back again, in one big identity operation.  The current
term representation of the FIR functions is a bit of a hack that
will need to be cleaned up if anything non-trivial is to be done.
(Each individual function is fine I hope.  It's the program as a whole
that's represented rather poorly.  It's essentially a (term SymbolTable.t),
one term for each fundef in the original Fir.prog.prog_funs.)
Though, this should be sufficient for basic testing I think.

Changed paths

Path Details
Directorymetaprl/editor/ml/Conscript modified , text changed
Directorymetaprl/theories/mc/Conscript modified , text changed
Directorymetaprl/theories/mc/TODO modified , text changed
Directorymetaprl/theories/mc/mp_mc_compile.ml modified , text changed
Directorymetaprl/theories/mc/mp_mc_compile.mli modified , text changed
Directorymetaprl/theories/mc/mp_mc_connect.ml deleted
Directorymetaprl/theories/mc/mp_mc_connect.mli deleted
Directorymetaprl/theories/mc/mp_mc_connect_exp.ml modified , text changed
Directorymetaprl/theories/mc/mp_mc_connect_exp.mli modified , text changed
Directorymetaprl/theories/mc/mp_mc_fir_exp.ml modified , text changed
Directorymetaprl/theories/mc/mp_mc_fir_exp.mli modified , text changed
Directorymetaprl/theories/mc/tests/mp_mc_test_connect.ml modified , text changed
Directorymetaprl/theories/mc/tests/mp_mc_test_connect.mli modified , text changed
Directorymetaprl/theories/mc/tests/mp_mc_test_connect_base.ml modified , text changed
Directorymetaprl/theories/mc/tests/mp_mc_test_connect_base.mli modified , text changed
Directorymetaprl/theories/mc/tests/mp_mc_test_connect_exp.ml modified , text changed
Directorymetaprl/theories/mc/tests/mp_mc_test_connect_exp.mli modified , text changed
Directorymetaprl/theories/mc/tests/mp_mc_test_connect_ty.ml modified , text changed
Directorymetaprl/theories/mc/tests/mp_mc_test_connect_ty.mli modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26