[n8gray] Added processing of __ and __. The computer lab is closing so I guess I won_t_ Mon Sep 19 06:12:42 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-42-032687000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-42-032687000-PDT.html [n8gray] Changed the mandel case to use the parser. It doesn_t compile yet because the_ Mon Sep 19 06:12:45 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-45-222206000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-45-222206000-PDT.html [n8gray] No need for this anymore._ Mon Sep 19 06:12:45 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-45-775538000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-45-775538000-PDT.html [jyh] Added a TODO list. This will probably migrate to bugzilla._ Mon Sep 19 06:12:46 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-46-546007000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-46-546007000-PDT.html [jyh] . Changed the way Reserve is handled to make it more general in_ Mon Sep 19 06:12:46 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-46-988554000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-46-988554000-PDT.html [jyh] . Adding memory reservations for arrays, but there are two issues__ Mon Sep 19 06:12:49 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-49-304429000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-49-304429000-PDT.html [jyh] Add a core optimization phase Core_opt1._ Mon Sep 19 06:12:50 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-50-046805000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-50-046805000-PDT.html [jyh] Optimization should happen _before_ memory reservation._ Mon Sep 19 06:12:50 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-50-988004000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-50-988004000-PDT.html [jyh] Added _special_ extension for special calls. It is likely that we_ Mon Sep 19 06:12:51 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-51-343733000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-51-343733000-PDT.html [jyh] Added reserve as a special stage. The old_style reserve is still_ Mon Sep 19 06:12:52 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-52-135528000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-52-135528000-PDT.html [jyh] Folded Core_opt1 into Core_optimize._ Mon Sep 19 06:12:52 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-52-850267000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-52-850267000-PDT.html [jyh] Added reservations for arrays._ Mon Sep 19 06:12:53 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-53-388740000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-53-388740000-PDT.html [jyh] Minor changes to on array reservations._ Mon Sep 19 06:12:53 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-53-857275000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-53-857275000-PDT.html [jyh] More fixes to array initialization code._ Mon Sep 19 06:12:54 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-54-250167000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-54-250167000-PDT.html [jyh] Adding closure conversion to the assembly. Not finished yet._ Mon Sep 19 06:12:54 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-54-687927000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-54-687927000-PDT.html [nogin] Updated the Files files to use the new mmc_ prefix._ Mon Sep 19 06:12:55 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-55-766658000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-55-766658000-PDT.html [jyh] Updated _opens_ and _extends_ directives to use the Mmc_ prefix._ Mon Sep 19 06:12:56 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-56-531336000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-56-531336000-PDT.html [jyh] Add Mmc_ prefix in the syntax.pho and .prla files._ Mon Sep 19 06:12:59 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-59-452839000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-12-59-452839000-PDT.html [jyh] Removed core/mmc_core_util, and split it into util/mmc_tactic_util_ Mon Sep 19 06:13:03 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-03-075165000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-03-075165000-PDT.html [jyh] Updated display forms for sequents to use an explicit_ Mon Sep 19 06:13:05 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-05-012180000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-05-012180000-PDT.html [jyh] . One last reorganization. Here is the structure__ Mon Sep 19 06:13:05 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-05-457719000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-05-457719000-PDT.html [jyh] Added closure conversion on assembly code._ Mon Sep 19 06:13:06 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-06-464831000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-06-464831000-PDT.html [jyh] 1. Variable_sized reserves are now implemented in the backend._ Mon Sep 19 06:13:08 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-08-720198000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-08-720198000-PDT.html [jyh] 1. Updated standardization to start from index 1._ Mon Sep 19 06:13:09 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-09-853924000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-09-853924000-PDT.html [jyh] . Still working on spilling._ Mon Sep 19 06:13:11 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-11-171576000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-11-171576000-PDT.html [jyh] Updated var_subst to avoid capture._ Mon Sep 19 06:13:11 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-11-679603000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-11-679603000-PDT.html [jyh] . Corrected a problem with implicit moves in liveness analysis._ Mon Sep 19 06:13:12 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-12-170874000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-12-170874000-PDT.html [jyh] A few changes__ Mon Sep 19 06:13:13 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-13-555812000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-13-555812000-PDT.html [jyh] 1. Removed the naming stage._ Mon Sep 19 06:13:15 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-15-628792000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-15-628792000-PDT.html [jyh] Add the type of the continuation to the Front transformation._ Mon Sep 19 06:13:17 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-17-235824000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-17-235824000-PDT.html [jyh] Working on type checking for direct functions._ Mon Sep 19 06:13:17 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-17-830509000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-17-830509000-PDT.html [jyh] Stuck in CPS conversion without naming. There is a bug in CPS__ Mon Sep 19 06:13:18 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-18-245533000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-18-245533000-PDT.html [jyh] A shorter example Mmc_int_test.test_cps1 that shows that CPS_ Mon Sep 19 06:13:18 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-18-961620000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-18-961620000-PDT.html [nogin] _ The CPS for Ops was very wrong, fixed._ Mon Sep 19 06:13:19 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-19-373792000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-19-373792000-PDT.html [jyh] Direct calls are closer to working. However, perhaps a different_ Mon Sep 19 06:13:20 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-20-854778000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-20-854778000-PDT.html [jyh] Initial version of direct function calls. This is now a pure optimization,_ Mon Sep 19 06:13:21 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-21-486903000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-21-486903000-PDT.html [jyh] The direct function call phase is now an optimization._ Mon Sep 19 06:13:22 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-22-644146000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-22-644146000-PDT.html [jyh] Moved beta reduction into the Mmc_core_inline module._ Mon Sep 19 06:13:23 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-23-459066000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-23-459066000-PDT.html [jyh] Added a dead code elimination phase to get rid of at least some of the junk._ Mon Sep 19 06:13:24 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-24-107819000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-24-107819000-PDT.html [jyh] The value judgment, used by dead code elimination._ Mon Sep 19 06:13:24 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-24-920542000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-24-920542000-PDT.html [jyh] 1. Change the opnames in Mmc_core_ast by adding a _U_ prefix._ Mon Sep 19 06:13:26 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-26-907872000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-26-907872000-PDT.html [jyh] Front_end transformations for recursive functions._ Mon Sep 19 06:13:28 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-28-733020000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-28-733020000-PDT.html [jyh] Added closure conversion for recursive functions._ Mon Sep 19 06:13:29 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-29-811606000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-29-811606000-PDT.html [jyh] Added direct_call optimizations for recursive functions._ Mon Sep 19 06:13:30 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-30-281092000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-30-281092000-PDT.html [n8gray] This is a stab at a PPC backend for the compiler. It_s not working yet so don_t_ Mon Sep 19 06:13:57 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-57-410444000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-13-57-410444000-PDT.html [n8gray] Killed ast_util. Nobody uses it._ Mon Sep 19 06:14:02 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-14-02-580692000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-14-02-580692000-PDT.html [n8gray] Forgot to remove ast_util from the Files._ Mon Sep 19 06:14:03 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-14-03-105893000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-14-03-105893000-PDT.html [nogin] _ Added a Constrain to the let_var_optimize to keep it _information preserving_._ Mon Sep 19 06:14:03 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-14-03-488703000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-14-03-488703000-PDT.html [jyh] Added a comment on the front_end conversion of short_circuit_ Mon Sep 19 06:14:03 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-14-03-951548000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-14-03-951548000-PDT.html [jyh] Loops should use _rec_ functions, not _direct_. Lambda[_direct_]_ Mon Sep 19 06:14:04 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-14-04-404715000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-14-04-404715000-PDT.html [nogin] Declared a _default_extract_ term and killed all those annoying __ it_._ Mon Sep 19 06:14:08 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-14-08-373096000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-14-08-373096000-PDT.html [jyh] This is the update corresponding to yesterday_s Lm_format_ Mon Sep 19 06:14:30 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-14-30-702095000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-14-30-702095000-PDT.html [nogin] Use the new resource syntax in MMC._ Mon Sep 19 06:14:37 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-14-37-383314000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-14-37-383314000-PDT.html [n8gray] Use a better .cvsignore_ Mon Sep 19 06:16:40 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-16-40-456114000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-16-40-456114000-PDT.html [nogin] The MMC part of the AutoMustComplete change._ Mon Sep 19 06:18:05 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-05-612650000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-05-612650000-PDT.html [n8gray] Preparing to start on the LIR._ Mon Sep 19 06:18:09 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-09-475018000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-09-475018000-PDT.html [n8gray] More notes._ Mon Sep 19 06:18:09 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-09-911959000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-09-911959000-PDT.html [n8gray] Won_t try to build the x86 runtime on ppc architecture anymore. In the future_ Mon Sep 19 06:18:14 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-14-393812000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-14-393812000-PDT.html [n8gray] Started to add some lir files. Now you guys can tell me how I did it wrong._ Mon Sep 19 06:18:15 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-15-436387000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-15-436387000-PDT.html [jyh] This is the matching commit against the MetaPRL update, for MMC to use Lm_printf._ Mon Sep 19 06:18:18 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-18-466271000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-18-466271000-PDT.html [jyh] Matching IO commit for MMC._ Mon Sep 19 06:18:24 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-24-259588000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-24-259588000-PDT.html [nogin] _ BoundsCheck belongs to ext_array, not core_mem_ Mon Sep 19 06:18:41 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-41-484578000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-41-484578000-PDT.html [nogin] Notes updates from the compiler meeting._ Mon Sep 19 06:18:41 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-41-877916000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-41-877916000-PDT.html [n8gray] The new file mmc_lir_simplify is a first draft of the code to eliminate all_ Mon Sep 19 06:18:43 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-43-598181000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-43-598181000-PDT.html [nogin] Added an extension for an existential type with pack/unpack. Untested._ Mon Sep 19 06:18:44 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-44-085547000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-44-085547000-PDT.html [n8gray] Finished renaming tyexists extension._ Mon Sep 19 06:18:46 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-46-529005000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-46-529005000-PDT.html [n8gray] More commits from renaming tyexists extension._ Mon Sep 19 06:18:47 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-47-008918000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-04/2005-09-19-06-18-47-008918000-PDT.html