Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-05-02 20:17:55 -0700 (Sun, 02 May 2004)
Revision: 5751
Log message:
Some updates to file dependencies.
| Changes | Path |
| +30 -20 | mpcompiler/mmc/OMakefile |
Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-05-04 01:40:01 -0700 (Tue, 04 May 2004)
Revision: 5752
Log message:
1. Added bounds to the existential type extension.
2. lir_simplify is almost starting to look complete.
Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-05-04 01:40:43 -0700 (Tue, 04 May 2004)
Revision: 5753
Log message:
mli file
| Changes | Path |
| Added | mpcompiler/mmc/lir/mmc_lir_simplify.mli |
| Properties | mpcompiler/mmc/lir/mmc_lir_simplify.mli |
Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-05-05 14:06:54 -0700 (Wed, 05 May 2004)
Revision: 5757
Log message:
Fixed incorrect TyLambda rewrite in front stage.
More work on simplify stage.
| Changes | Path |
| +1 -1 | mpcompiler/mmc/core/mmc_core_front.ml |
| +8 -3 | mpcompiler/mmc/lir/mmc_lir_simplify.ml |
Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-05-12 17:22:03 -0700 (Wed, 12 May 2004)
Revision: 5768
Log message:
First stab at sweep down/up support with separate down/up operators.
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-05-28 09:11:44 -0700 (Fri, 28 May 2004)
Revision: 5826
Log message:
Win32 bugfix update. MetaPRL should now compile correctly on win32.
Also, the proxyedit application compiles with SSL.
Question: to use MetaPRL on win32 from a remote server, all you need
is the proxyedit application (if you want it). Should we put it on
some standard site like www.metaprl.org? Or should we commit it as
part of MetaPRL CVS. The advantage of the latter is that we can
use MetaPRL even without global Internet access.