ViewVC logotype

Log of /metaprl/theories/mc/tests/mp_mc_test_connect.mli

Parent Directory Parent Directory | Revision Log Revision Log

Sticky Revision:
(Current path doesn't exist after revision 4482)

Revision 3562 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 3 08:37:31 2002 UTC (19 years, 2 months ago) by emre
File length: 1322 byte(s)
Diff to previous 3479
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.

Revision 3479 - (view) (download) (annotate) - [select for diffs]
Added Thu Jan 24 05:49:15 2002 UTC (19 years, 5 months ago) by emre
File length: 1269 byte(s)
Two changes essentially:
1) Moved more files in theories/mc to have
   the mp_mc_ prefix.
2) Added theories/mc/tests/  The files there are
   pretty empty right now, but the idea is to put
   code there for a simple test program to test
   the mp_mc_connect modules.

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.26