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  Path
+1 -1 mpcompiler/mmc/extensions/tuple/mmc_ext_tuple.mli
+19 -9 mpcompiler/mmc/extensions/tyexists/mmc_ext_tyexists.ml
+3 -3 mpcompiler/mmc/extensions/tyexists/mmc_ext_tyexists.mli
+89 -23 mpcompiler/mmc/lir/mmc_lir_simplify.ml

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  Path
+1 -0 mpcompiler/mmc/core/Files
Added mpcompiler/mmc/core/mmc_core_sweep_ty.ml
Properties mpcompiler/mmc/core/mmc_core_sweep_ty.ml
Added mpcompiler/mmc/core/mmc_core_sweep_ty.mli
Properties mpcompiler/mmc/core/mmc_core_sweep_ty.mli
+14 -11 mpcompiler/mmc/lir/mmc_lir_simplify.ml
+1 -1 mpcompiler/util/mm_list_util.ml
+63 -0 mpcompiler/util/mmc_term_util.ml
+22 -0 mpcompiler/util/mmc_term_util.mli

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.
      

Changes  Path
+14 -2 metaprl/OMakefile
+6 -1 metaprl/mk/config.win32
+3 -0 metaprl/proxyedit/OMakefile
+1 -1 metaprl/support/shell/browser_resource.ml
+2 -2 metaprl/support/shell/inputs/OMakefile
+11 -0 metaprl/support/shell/shell_browser.ml
+1 -1 mpcompiler/mmc/arch/x86/runtime/OMakefile