[jyh] Use omake to construct the final mmc theory._Mon Sep 19 07:10:29 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-29-259907000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-29-259907000-PDT.html[jyh] These files are now generated._Mon Sep 19 07:10:30 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-30-731407000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-30-731407000-PDT.html[jyh] Added code generation for integer arithmetic._Mon Sep 19 07:10:32 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-32-484639000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-32-484639000-PDT.html[jyh] closure_elim now type checks._Mon Sep 19 07:10:34 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-34-108164000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-34-108164000-PDT.html[jyh] Apparently I forgot to commit this OMakefile._Mon Sep 19 07:10:34 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-34-833094000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-34-833094000-PDT.html[jyh] mmc requires omake 0.9.4.1_Mon Sep 19 07:10:35 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-35-637345000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-35-637345000-PDT.html[jyh] Adding display forms to the asm._Mon Sep 19 07:10:36 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-36-890140000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-36-890140000-PDT.html[jyh] Renamed mmc_lir_closure_elim.ml_Mon Sep 19 07:10:38 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-38-021426000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-38-021426000-PDT.html[jyh] More progress on codegen._Mon Sep 19 07:10:38 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-38-662868000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-38-662868000-PDT.html[jyh] Renamed mmc_x86_codegen_core.ml to mmc_x86_codegen.ml_Mon Sep 19 07:10:39 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-39-126254000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-39-126254000-PDT.html[jyh] Yay_ I basically have the first codegen example._Mon Sep 19 07:10:40 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-40-061426000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-40-061426000-PDT.html[jyh] To simplify, I completely removed the Codegen__e_ form in favor of_Mon Sep 19 07:10:40 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-40-928576000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-40-928576000-PDT.html[jyh] Added initial assembly typechecking._Mon Sep 19 07:10:42 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-42-916260000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-42-916260000-PDT.html[nogin] _ Made sure theories/mmc/test/OMakefile is included and not just_Mon Sep 19 07:10:43 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-43-542036000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-43-542036000-PDT.html[nogin] _ My previous commit broke the build system, fixing._Mon Sep 19 07:10:43 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-43-962603000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-43-962603000-PDT.html[nogin] Fixed another type inference bug_Mon Sep 19 07:10:44 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-44-610286000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-44-610286000-PDT.html[nogin] Fixed a bug in cps_Mon Sep 19 07:10:44 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-44-992204000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-44-992204000-PDT.html[nogin] Added couple of missing reduce resource annotations_Mon Sep 19 07:10:45 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-45-369988000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-45-369988000-PDT.html[jyh] Updated the OMakefile a bit._Mon Sep 19 07:10:45 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-45-745331000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-45-745331000-PDT.html[jyh] Instead of having a special form for tuple subscripts,_Mon Sep 19 07:10:47 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-47-104433000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-47-104433000-PDT.html[nogin] Fixed reserveT_Mon Sep 19 07:10:54 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-54-057039000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-54-057039000-PDT.html[nogin] _ Simplified the CPS a bit, removing the need for an outher repeatC._Mon Sep 19 07:10:55 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-55-768026000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-55-768026000-PDT.html[jyh] Changed the grammar for tuples and existentials to be more consistent_Mon Sep 19 07:10:57 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-57-447395000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-57-447395000-PDT.html[jyh] Added some x86 type checking rules._Mon Sep 19 07:10:58 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-58-116746000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-58-116746000-PDT.html[jyh] Yay_ mmc_int_test/test0 passes the x86 type checker._Mon Sep 19 07:10:59 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-59-077347000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-10-59-077347000-PDT.html[jyh] Added _minor_ x86 optimizations._Mon Sep 19 07:11:01 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-01-994484000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-01-994484000-PDT.html[jyh] Added x86 dead_instruction elimination._Mon Sep 19 07:11:03 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-03-199248000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-03-199248000-PDT.html[jyh] Added the slop around function calls, which allows us to specify_Mon Sep 19 07:11:04 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-04-126429000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-04-126429000-PDT.html[jyh] Move all the x86 stuff for tuples and existentials into their_Mon Sep 19 07:11:05 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-05-459859000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-05-459859000-PDT.html[n8gray] Some preliminary support for cross_compilation. This at least allows me to_Mon Sep 19 07:11:06 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-06-917318000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-06-917318000-PDT.html[n8gray] In theory, cross compilation should work. I_ll try it out once I can build mmc_Mon Sep 19 07:11:07 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-07-513856000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-07-513856000-PDT.html[jyh] This is a bit painful, but I added the condition_code an an explicit_Mon Sep 19 07:11:07 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-07-907307000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-07-907307000-PDT.html[jyh] Added the x86 conventions._Mon Sep 19 07:11:08 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-09-003097000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-09-003097000-PDT.html[jyh] Added the x86 renaming and coalescing phases._Mon Sep 19 07:11:09 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-09-818704000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-09-818704000-PDT.html[jyh] Updated x86 renaming._Mon Sep 19 07:11:12 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-12-301306000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-12-301306000-PDT.html[jyh] The files for register allocation now compile. Untested._Mon Sep 19 07:11:13 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-13-274592000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-13-274592000-PDT.html[jyh] Yay_ The backend is complete, and mmc_int_test/test0 compiles and_Mon Sep 19 07:11:15 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-15-914017000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-15-914017000-PDT.html[jyh] mmc_int_test/test1 now compiles and executes._Mon Sep 19 07:11:17 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-17-859485000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-17-859485000-PDT.html[jyh] mmc_int_test/test2 compiles and runs._Mon Sep 19 07:11:18 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-18-627407000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-18-627407000-PDT.html[jyh] mmc_int_test/test_cps1 compiles and runs._Mon Sep 19 07:11:19 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-19-180613000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-19-180613000-PDT.html[jyh] Some minor integer optimizations._Mon Sep 19 07:11:19 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-19-850972000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-19-850972000-PDT.html[jyh] Added the _typeof_ operator to x86._Mon Sep 19 07:11:20 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-20-332618000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-20-332618000-PDT.html[jyh] Added the initial x86 sweeper. Next, convert closure conversion_Mon Sep 19 07:11:21 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-21-723602000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-21-723602000-PDT.html[n8gray] Added an example to the usage string._Mon Sep 19 07:11:22 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-22-568592000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-22-568592000-PDT.html[jyh] A more complete sweeper for x86._Mon Sep 19 07:11:22 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-22-943005000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-22-943005000-PDT.html[jyh] x86 sweeper is complete, and x86 closure conversion is implemented._Mon Sep 19 07:11:24 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-24-487997000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-24-487997000-PDT.html[jyh] Converted the x86 sweeper to propositional form. That is, the sweep_Mon Sep 19 07:11:28 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-28-431838000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-28-431838000-PDT.html[jyh] Added reserves. Have to handle spills correctly before this_Mon Sep 19 07:11:32 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-32-155298000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-32-155298000-PDT.html[jyh] test_cps1 compiles with explicit allocations._Mon Sep 19 07:11:33 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-33-226211000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-33-226211000-PDT.html[jyh] Forgot to add allocator._Mon Sep 19 07:11:33 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-33-983147000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-33-983147000-PDT.html[jyh] Defining a sweeper for the core._Mon Sep 19 07:11:34 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-34-454244000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-34-454244000-PDT.html[jyh] Added the core sweeper rewrites._Mon Sep 19 07:11:35 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-35-618105000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-35-618105000-PDT.html[jyh] Use MP_DEBUG_hide_types if you want to hide the types for mmc terms._Mon Sep 19 07:11:36 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-36-323960000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-36-323960000-PDT.html[jyh] Oops, be a bit more aggresive about type hiding._Mon Sep 19 07:11:36 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-36-862261000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-36-862261000-PDT.html[jyh] Convert _std_ lambdas to _rec_ lambdas during type inference._Mon Sep 19 07:11:37 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-37-661378000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-37-661378000-PDT.html[jyh] This is an intermediate commit._Mon Sep 19 07:11:39 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-39-008438000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-39-008438000-PDT.html[jyh] Removed the _rec_ tag._Mon Sep 19 07:11:39 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-39-510672000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-39-510672000-PDT.html[jyh] Re_added the _rec_ function tag._Mon Sep 19 07:11:40 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-40-160631000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-40-160631000-PDT.html[jyh] Fixed hoisting. Note_ I should fix the mmc_base_hoist module so it provides the_Mon Sep 19 07:11:40 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-40-789507000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-40-789507000-PDT.html[jyh] Added lazy computation of grammars _this is bug _411_. This should_Mon Sep 19 07:11:43 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-43-111906000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-43-111906000-PDT.html[jyh] Quantify lambdas in type inference._Mon Sep 19 07:11:44 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-44-790386000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-44-790386000-PDT.html[jyh] Handle polymorphic values through closure elimination._Mon Sep 19 07:11:45 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-45-749534000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-45-749534000-PDT.html[jyh] Working on polymorphic closure elimination._Mon Sep 19 07:11:46 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-46-298352000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-11-46-298352000-PDT.html[jyh] Fixed a painful bug in the parser where precedences were not_Mon Sep 19 07:12:06 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-06-873508000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-06-873508000-PDT.html[jyh] Added the rule for closure conversion of anonymouns functions._Mon Sep 19 07:12:12 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-12-449719000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-12-449719000-PDT.html[jyh] Fixed closure for anonymous functions._Mon Sep 19 07:12:14 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-14-655356000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-14-655356000-PDT.html[jyh] Added the main rule for closing recursive functions._Mon Sep 19 07:12:15 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-15-377745000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-15-377745000-PDT.html[nogin] A comment desciring an alternative way to do closure._Mon Sep 19 07:12:16 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-16-247800000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-16-247800000-PDT.html[jyh] Added the new closure conversion method based on what we discussed_Mon Sep 19 07:12:18 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-18-481431000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-18-481431000-PDT.html[jyh] I_m being a little anal here. I prefer the form where the _singleton_params_c__Mon Sep 19 07:12:20 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-20-302395000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-20-302395000-PDT.html[n8gray] A first swipe at enforcing the value restriction. It_s probably not correct._Mon Sep 19 07:12:21 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-21-159905000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-21-159905000-PDT.html[jyh] Added initial tactic code for closure conversion._Mon Sep 19 07:12:21 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-21-912041000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-21-912041000-PDT.html[jyh] NOTE_ this breaks binary compatibility, bleh._Mon Sep 19 07:12:22 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-22-574327000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-22-574327000-PDT.html[jyh] Added the tactic for closure conversion. Not debugged._Mon Sep 19 07:12:23 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-23-410262000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-23-410262000-PDT.html[jyh] mmc_int_test/test1 passes closure conversion._Mon Sep 19 07:12:24 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-24-161862000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-24-161862000-PDT.html[jyh] Initial closure conversion of anonymous functions._Mon Sep 19 07:12:25 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-25-049111000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-25-049111000-PDT.html[jyh] Added non_binding contexts _bug _417_._Mon Sep 19 07:12:25 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-25-488754000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-25-488754000-PDT.html[jyh] Added grammar for IsValue. Note, we should try to avoid the use of_Mon Sep 19 07:12:26 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-26-133280000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-26-133280000-PDT.html[jyh] A lot of changes__Mon Sep 19 07:12:26 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-26-845046000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-26-845046000-PDT.html[jyh] Separated grammar files from the rest. This is cleaner, and it_Mon Sep 19 07:12:29 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-29-408268000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-29-408268000-PDT.html[jyh] Converted closure conversion to the new tuple form._Mon Sep 19 07:12:44 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-44-621695000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-44-621695000-PDT.html[jyh] Removed the type from tuples. It was never used and it was annoying._Mon Sep 19 07:12:45 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-45-398908000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-45-398908000-PDT.html[jyh] This is just the first part of closure elimination, where we_Mon Sep 19 07:12:46 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-46-288898000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-46-288898000-PDT.html[nogin] Be more clean on _omake clean__Mon Sep 19 07:12:49 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-49-852000000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-49-852000000-PDT.html[jyh] Added back the code for closure elimination._Mon Sep 19 07:12:50 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-50-522558000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-50-522558000-PDT.html[jyh] Preparing for direct_call optimization._Mon Sep 19 07:12:51 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-51-240338000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-51-240338000-PDT.html[jyh] Moved Mmc_core__inline,value_ to the opt/ directory, and cleaned them up._Mon Sep 19 07:12:51 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-51-656539000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-51-656539000-PDT.html[jyh] Added direct_call optimization. Currently, direct_call optimization_Mon Sep 19 07:12:53 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-53-824338000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-53-824338000-PDT.html[jyh] Closure conversion needs to put the spread inside the inner lambda._Mon Sep 19 07:12:54 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-54-577752000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-54-577752000-PDT.html[n8gray] Fixing a few .cvsignore annoyances_Mon Sep 19 07:12:55 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-55-016278000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-55-016278000-PDT.html[jyh] mmc_int_test/test1 passes code generation._Mon Sep 19 07:12:55 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-55-874013000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-55-874013000-PDT.html[n8gray] Finished the value judgment except for the existential extension. It doesn_t_Mon Sep 19 07:12:56 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-56-731711000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-56-731711000-PDT.html[jyh] Updated x86 closure conversion. I haven_t tried it on any big examples,_Mon Sep 19 07:12:57 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-57-437864000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-57-437864000-PDT.html[jyh] mmc_int_test/test1 makes it all the way through the backend._Mon Sep 19 07:12:59 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-59-519400000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-12-59-519400000-PDT.html[jyh] mmc_int_test/test_cps1 makes it part way through the backend._Mon Sep 19 07:13:00 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-00-047156000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-00-047156000-PDT.html[jyh] This adds the basic framework for lifting lambdas._Mon Sep 19 07:13:06 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-06-538814000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-06-538814000-PDT.html[n8gray] Finished the value judgment. You guys might want to check out the WithUniv and_Mon Sep 19 07:13:07 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-07-141465000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-07-141465000-PDT.html[n8gray] Correcting a problem in value_with_univ_cons. Unfortunately, this makes it_Mon Sep 19 07:13:07 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-07-705273000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-07-705273000-PDT.html[n8gray] Verify that the bound in a TyLambda are well_formed._Mon Sep 19 07:13:12 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-12-700530000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-12-700530000-PDT.html[n8gray] Improved display form for IsValue. Also added another test._Mon Sep 19 07:13:15 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-15-169927000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-15-169927000-PDT.html[jyh] Codegen should state the type of the expression for which_Mon Sep 19 07:13:15 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-15-661644000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-15-661644000-PDT.html[jyh] Ignore even more stuff._Mon Sep 19 07:13:18 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-18-177411000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-18-177411000-PDT.html[jyh] Added the ability to use quotations to specify meta_terms._Mon Sep 19 07:13:24 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-24-914717000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-24-914717000-PDT.html[jyh] Added meta_term grammar to the mmc core._Mon Sep 19 07:13:32 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-32-756229000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-32-756229000-PDT.html[jyh] Forgot to add the grammar for the x86 utilities _like subst_._Mon Sep 19 07:13:33 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-33-939148000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-33-939148000-PDT.html[jyh] Some updates to CPS. Preparing to remove polymorphism introduced earlier._Mon Sep 19 07:13:34 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-34-844630000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-13-34-844630000-PDT.html[jyh] Note to self_ remember, ML_style values are _never_ polymorphic unless_Mon Sep 19 07:16:53 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-16-53-245928000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-16-53-245928000-PDT.html[jyh] mmc_int_test/test_cps1 passes x86 closure conversion._Mon Sep 19 07:16:54 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-16-54-641172000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-16-54-641172000-PDT.html[jyh] mmc_int_test/test1 compiles and runs._Mon Sep 19 07:16:55 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-16-55-549157000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-16-55-549157000-PDT.html[jyh] Removed the double quantifier during closure elimination._Mon Sep 19 07:16:56 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-16-56-111641000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-16-56-111641000-PDT.html[jyh] Oops, add back direct_call optimization._Mon Sep 19 07:16:56 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-16-56-691331000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-16-56-691331000-PDT.html[jyh] Some minor performance improvements for parsing._Mon Sep 19 07:16:57 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-16-57-080624000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-16-57-080624000-PDT.html[n8gray] Prettified most of mmc_core_type_check.ml. The remaining ugly rules are ugly_Mon Sep 19 07:16:58 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-16-58-191907000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-16-58-191907000-PDT.html[n8gray] There_s a reduction I added that should probably cause a reduce/reduce conflict,_Mon Sep 19 07:16:58 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-16-58-932426000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-16-58-932426000-PDT.html[n8gray] oops_ I wrote a meta_let instead of a let for the let_intro rule._Mon Sep 19 07:17:11 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-11-937137000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-11-937137000-PDT.html[nogin] _ In type inference, if any free variables are generated, replace them with_Mon Sep 19 07:17:21 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-21-957488000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-21-957488000-PDT.html[nogin] Removing mmc_core_test.prla, as it only adds junk to mmc_tests output._Mon Sep 19 07:17:23 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-23-796694000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-23-796694000-PDT.html[nogin] Fixed a bug in CPS _ TyCPS _TyFun..._ only applied TyCPS to the return type,_Mon Sep 19 07:17:25 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-25-184974000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-25-184974000-PDT.html[nogin] _Important__ when using xbinder__v_ hack, you do have to faithfully consider_Mon Sep 19 07:17:25 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-25-806340000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-25-806340000-PDT.html[jyh] Fixed lookahead propagation, and added empty productions._Mon Sep 19 07:17:26 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-26-924360000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-26-924360000-PDT.html[jyh] Ignore some more files._Mon Sep 19 07:17:27 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-27-844831000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-27-844831000-PDT.html[nogin] Added couple of extra IsValue rules _ for AddrOfFun and AtomTyApply._Mon Sep 19 07:17:28 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-28-235166000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-28-235166000-PDT.html[nogin] The type checking rule for x86main for some reason required its argument to be_Mon Sep 19 07:17:28 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-28-749584000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-28-749584000-PDT.html[nogin] Modified the mmc script and tests/OMakefile so that_Mon Sep 19 07:17:29 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-29-341163000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-29-341163000-PDT.html[nogin] This was pretty hard one to find out__Mon Sep 19 07:17:29 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-29-931593000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-29-931593000-PDT.html[nogin] Missing dependency_Mon Sep 19 07:17:31 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-31-323701000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-31-323701000-PDT.html[nogin] Added an _XXX BUG_ _ a number of sweep_related rules are only semanticly valid_Mon Sep 19 07:17:32 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-32-157117000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-32-157117000-PDT.html[jyh] Don_t need to include the __grammar file._Mon Sep 19 07:17:33 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-33-009474000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-33-009474000-PDT.html[jyh] Merged the _grammar files back into their original places._Mon Sep 19 07:17:33 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-33-413812000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-33-413812000-PDT.html[jyh] Added some comments to CPS._Mon Sep 19 07:17:44 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-44-779488000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-44-779488000-PDT.html[nogin] Before I change anything, I want to commit the current state of things._Mon Sep 19 07:17:45 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-45-243861000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-45-243861000-PDT.html[nogin] No_op_ moved the _multi_let_ forms into the sweep module._Mon Sep 19 07:17:46 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-46-157517000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-46-157517000-PDT.html[jyh] Minor changes in x86 closure conversion._Mon Sep 19 07:17:46 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-46-923431000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-46-923431000-PDT.html[jyh] mmc_int_test/test_cps2 runs. It never terminates, but that is expected,_Mon Sep 19 07:17:51 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-51-384704000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-51-384704000-PDT.html[nogin] Finished an exersise in making the type for the sweep operator more precise._Mon Sep 19 07:17:51 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-51-993315000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-51-993315000-PDT.html[nogin] The sweep_add_let___1 rewrites no longer need a _type_enforcing_ argument._Mon Sep 19 07:17:53 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-53-357942000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-53-357942000-PDT.html[nogin] A number of changes to the closure/sweeper__Mon Sep 19 07:17:54 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-54-433153000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-54-433153000-PDT.html[nogin] More consistent usage of the check_stuckC._Mon Sep 19 07:17:55 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-55-377979000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-55-377979000-PDT.html[nogin] Fixed codegen of TyLambda._Mon Sep 19 07:17:56 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-56-587326000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-56-587326000-PDT.html[nogin] For now _ allow x86main to return arbitrary values, not just ints._Mon Sep 19 07:17:57 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-57-627448000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-57-627448000-PDT.html[nogin] Added sweeper rewrites for _sweepdn ... inst reserve ..._._Mon Sep 19 07:17:58 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-58-189887000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-58-189887000-PDT.html[nogin] The Mmc_x86_rename was creating loops in the rename table, which caused the_Mon Sep 19 07:17:59 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-59-045130000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-59-045130000-PDT.html[nogin] Fixing a nasty bug in Term_ds _ substitution for _v_ in_Mon Sep 19 07:17:59 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-59-790651000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-17-59-790651000-PDT.html[nogin] Added sweeper rewrites to the boolean extension._Mon Sep 19 07:18:00 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-00-531223000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-00-531223000-PDT.html[jyh] Implemented sweep and code generation for the Booleans._Mon Sep 19 07:18:01 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-01-222124000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-01-222124000-PDT.html[jyh] test_fact1 now produces the correct answer._Mon Sep 19 07:18:03 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-03-079464000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-03-079464000-PDT.html[nogin] Updating tests state after Jason_s commit._Mon Sep 19 07:18:03 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-03-556117000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-03-556117000-PDT.html[jyh] Mmc_ext_integer duplicated the sweep rules in Mmc_ext_arithmetic._Mon Sep 19 07:18:04 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-04-247629000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-04-247629000-PDT.html[jyh] Prettefied CPS except for Aleksey_s funky term._Mon Sep 19 07:18:05 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-05-269567000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-05-269567000-PDT.html[jyh] Forgot to prettify the rules._Mon Sep 19 07:18:05 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-05-829618000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-05-829618000-PDT.html[jyh] Eta_expand the continuations in CPS conversion of conditionals._Mon Sep 19 07:18:06 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-06-426348000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-06-426348000-PDT.html[jyh] Returning TailCPS to ugly form._Mon Sep 19 07:18:06 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-06-916569000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-06-916569000-PDT.html[jyh] Add explicit lets for type applications introduced by CPS conversion._Mon Sep 19 07:18:07 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-07-381596000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-07-381596000-PDT.html[jyh] First steps on spilling._Mon Sep 19 07:18:09 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-09-616344000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-09-616344000-PDT.html[jyh] Normal spilling is pretty much working, although I have to figure out_Mon Sep 19 07:18:10 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-10-387547000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-10-387547000-PDT.html[nogin] _ Updated the mmc script to accomodate the case of mailformed assembly_Mon Sep 19 07:18:12 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-12-200197000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-12-200197000-PDT.html[nogin] Added full fallback capability to the MMC table_based rewriting._Mon Sep 19 07:18:14 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-14-163947000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-14-163947000-PDT.html[jyh] Converted to resource_based progress check._Mon Sep 19 07:18:15 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-15-409559000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-15-409559000-PDT.html[jyh] Fixed a typo that was causing the type error after spilling._Mon Sep 19 07:18:16 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-16-394037000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-16-394037000-PDT.html[jyh] _Mon Sep 19 07:18:17 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-17-318293000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-17-318293000-PDT.html[jyh] Oops, the _ variable gets turned into an empty variable. I_m not sure_Mon Sep 19 07:18:18 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-18-256486000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-18-256486000-PDT.html[jyh] Assign exact spill locations._Mon Sep 19 07:18:18 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-18-961827000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-18-961827000-PDT.html[jyh] Added spill allocation. Mmc_spill_test/test1 now works._Mon Sep 19 07:18:19 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-20-004137000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-20-004137000-PDT.html[jyh] Preparing for spilled function parameters._Mon Sep 19 07:18:20 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-20-941262000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-20-941262000-PDT.html[jyh] Updated polymorphism in Aleksey_s sweeper, and ported it to the backend._Mon Sep 19 07:18:21 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-21-417443000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-21-417443000-PDT.html[jyh] Forgot to add cases for definitions._Mon Sep 19 07:18:23 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-23-235723000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-23-235723000-PDT.html[jyh] Whew, added spilling for function parameters._Mon Sep 19 07:18:26 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-26-100229000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-26-100229000-PDT.html[jyh] Mmc_x86_print should be using dest_register_operand on_Mon Sep 19 07:18:27 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-27-676835000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-27-676835000-PDT.html[jyh] Various minor fixing in spilling. We were using typeof, which_Mon Sep 19 07:18:28 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-28-240698000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-28-240698000-PDT.html[jyh] Strip constrains, since they prevent beta_reduction._Mon Sep 19 07:18:29 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-29-149037000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-29-149037000-PDT.html[jyh] Added argument spilling, where we have escaping functions with_Mon Sep 19 07:18:30 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-30-239326000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-30-239326000-PDT.html[jyh] This is mainly a white_space correction, using __tast_rw_ ... ___Mon Sep 19 07:18:42 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-42-420050000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-42-420050000-PDT.html[jyh] Ouch, we were closing over functions too. In closure, filter out_Mon Sep 19 07:18:43 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-43-650901000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-43-650901000-PDT.html[jyh] We needed to be more careful during hoisting because the hoisted_Mon Sep 19 07:18:46 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-46-442591000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-46-442591000-PDT.html[jyh] Whew, mmc_int_test/test_fib now works. This had some problems_Mon Sep 19 07:18:47 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-47-119423000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-03/2005-09-19-07-18-47-119423000-PDT.html