[n8gray] Fixed some bugs in type checking._Mon Sep 19 06:06:16 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-16-753597000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-16-753597000-PDT.html[nogin] Added _I am stuck where I should not be_ error reporting to Naming and CPS._Mon Sep 19 06:06:17 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-17-629802000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-17-629802000-PDT.html[n8gray] Fixes to type checking and tuples. CPS is still broken._Mon Sep 19 06:06:18 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-18-975794000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-18-975794000-PDT.html[n8gray] Added an extra intermediate form of Let so that CPS won_t go into an infinite_Mon Sep 19 06:06:21 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-21-468724000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-21-468724000-PDT.html[nogin] Allow repeating contexts in redeces _bug 165_._Mon Sep 19 06:06:22 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-22-859285000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-22-859285000-PDT.html[jyh] Added an mcc_main.ml file as the outermost compiler._Mon Sep 19 06:06:23 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-23-986310000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-23-986310000-PDT.html[jyh] Added the X86 instruction set._Mon Sep 19 06:06:24 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-24-565827000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-24-565827000-PDT.html[jyh] Added an empty code generator based on the M compiler._Mon Sep 19 06:06:25 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-25-370022000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-25-370022000-PDT.html[jyh] Added .cvsignore files._Mon Sep 19 06:06:26 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-26-398851000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-26-398851000-PDT.html[jyh] Updated caml_mode to handle quotations correctly._Mon Sep 19 06:06:26 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-26-745600000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-26-745600000-PDT.html[nogin] Declared the .mlz file._Mon Sep 19 06:06:29 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-29-159064000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-29-159064000-PDT.html[nogin] Removing the distinction between the Hypothesis and HypBinding _ it was_Mon Sep 19 06:06:29 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-29-507703000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-29-507703000-PDT.html[crt] Changes needed by CPS. Added a new resource for type_util._Mon Sep 19 06:06:33 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-33-530212000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-33-530212000-PDT.html[nogin] Reverting the _uncomment eprintfs_ change that Cristian have accidentally_Mon Sep 19 06:06:34 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-34-106194000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-34-106194000-PDT.html[n8gray] Includes the latest developments in CPS._Mon Sep 19 06:06:35 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-35-312385000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-35-312385000-PDT.html[n8gray] Implemented the grand unified CPS theory. Exposes a MetaPRL bug._Mon Sep 19 06:06:38 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-38-364422000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-38-364422000-PDT.html[nogin] Use proper formatting for Invalid_argument and Failure exceptions._Mon Sep 19 06:06:39 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-39-503878000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-39-503878000-PDT.html[nogin] In cpsC, repeat at each node as many times as necessary before descending_Mon Sep 19 06:06:39 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-39-919740000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-39-919740000-PDT.html[nogin] Adding an explicit input type for the exit term._Mon Sep 19 06:06:40 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-40-383586000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-40-383586000-PDT.html[n8gray] Started reorganizing directory structure. We talked about renaming these files_Mon Sep 19 06:06:40 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-40-799411000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-40-799411000-PDT.html[nogin] Adding support for patterns that match _free_ FO variables._Mon Sep 19 06:06:43 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-43-430607000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-43-430607000-PDT.html[nogin] The cpsT now works on test_prog1__Mon Sep 19 06:06:44 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-44-622464000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-44-622464000-PDT.html[nogin] The test_prog1 and test_prog5 type check after CPS__Mon Sep 19 06:06:45 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-45-130804000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-45-130804000-PDT.html[jyh] Added initial x86 code generation for the core. It doesn_t_Mon Sep 19 06:06:45 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-45-933006000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-45-933006000-PDT.html[nogin] In the current CPS term semantics, there is no need to use Constraint_Mon Sep 19 06:06:46 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-46-658653000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-46-658653000-PDT.html[jyh] Migrating to the sequent notation in the backend._Mon Sep 19 06:06:47 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-47-324740000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-47-324740000-PDT.html[n8gray] forgot the .cvsignore files in the new extension directories_Mon Sep 19 06:06:47 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-47-757264000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-47-757264000-PDT.html[jyh] Added backend support for variables, functions, and application._Mon Sep 19 06:06:48 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-48-216919000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-48-216919000-PDT.html[jyh] Moved the generic list utilities out of Core_list_util, and_Mon Sep 19 06:06:48 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-48-695090000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-48-695090000-PDT.html[nogin] Getting rid of the Return operator._Mon Sep 19 06:06:49 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-49-891422000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-49-891422000-PDT.html[n8gray] Changed over to Lambda[tag], TyFun[tag] and Apply[tag] in the typed AST. tag_Mon Sep 19 06:06:50 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-50-836660000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-50-836660000-PDT.html[jyh] Changed closure conversion. This doesnt compile at the moment, to_Mon Sep 19 06:06:51 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-51-573923000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-51-573923000-PDT.html[n8gray] Finished closure conversion _maybe, hopefully_._Mon Sep 19 06:06:52 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-52-095638000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-52-095638000-PDT.html[crt] Cristian and Aleksey__Mon Sep 19 06:06:52 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-52-755348000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-52-755348000-PDT.html[nogin] ___ WARNING_ With this commit, MetaPRL now requires omake __ 0.7.10 ____Mon Sep 19 06:06:53 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-53-625402000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-53-625402000-PDT.html[crt] _Mon Sep 19 06:06:54 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-54-105516000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-54-105516000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:06:55 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-55-716840000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-06-55-716840000-PDT.html[crt] Forgot to add the .cvsignore in the test directory._Mon Sep 19 06:07:12 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-12-572564000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-12-572564000-PDT.html[n8gray] Minor changes._Mon Sep 19 06:07:15 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-15-332870000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-15-332870000-PDT.html[jyh] Initial pass a code3 generation with closures._Mon Sep 19 06:07:16 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-16-021974000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-16-021974000-PDT.html[jyh] Added type checking to the codegen phase._Mon Sep 19 06:07:17 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-17-606596000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-17-606596000-PDT.html[jyh] Changed some _t parameters to _s._Mon Sep 19 06:07:18 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-18-018738000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-18-018738000-PDT.html[crt] added a couple well_formedness rules for arrays and integers._Mon Sep 19 06:07:18 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-18-531437000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-18-531437000-PDT.html[jyh] Added code generation for integers. Note, binary relations now use_Mon Sep 19 06:07:18 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-18-951689000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-18-951689000-PDT.html[jyh] Added code generation for booleans._Mon Sep 19 06:07:19 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-19-745172000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-19-745172000-PDT.html[crt] Removed ext_arithmetic files. Moving them to the integer extension_Mon Sep 19 06:07:20 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-20-351599000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-20-351599000-PDT.html[crt] Moved the ext_arithmetic_integer to the integer extension directory._Mon Sep 19 06:07:21 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-21-204244000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-21-204244000-PDT.html[n8gray] Fixed looping problem in sequent display forms. There_s still a slight visual_Mon Sep 19 06:07:22 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-22-089691000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-22-089691000-PDT.html[nogin] A bit nicer display forms for contexts in Mojave nested sequents._Mon Sep 19 06:07:22 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-22-502677000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-22-502677000-PDT.html[jyh] I_ve been having trouble with my connection..._Mon Sep 19 06:07:25 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-25-387369000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-25-387369000-PDT.html[jyh] 1. Added code generation for tuples._Mon Sep 19 06:07:26 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-26-546166000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-26-546166000-PDT.html[jyh] Added code generation for fix. This is probably wrong, I believe the Fix_Mon Sep 19 06:07:27 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-27-877142000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-27-877142000-PDT.html[nogin] Jason somehow commited .ml and .mli for an existing .mlz, removing._Mon Sep 19 06:07:28 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-28-838341000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-28-838341000-PDT.html[nogin] _ Changed the dtactic module to use the new API_Mon Sep 19 06:07:29 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-29-341684000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-29-341684000-PDT.html[n8gray] Completed proof of fun_equal_base. Closes bug _95._Mon Sep 19 06:07:33 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-33-951752000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-33-951752000-PDT.html[jyh] Yay, the phone company fixed my DSL__Mon Sep 19 06:07:37 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-37-217484000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-37-217484000-PDT.html[nogin] Trying to add proper support for .mlz files. I seem to be hitting an omake_Mon Sep 19 06:07:41 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-41-151588000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-41-151588000-PDT.html[jyh] This is an initial commit of the x86_backend utilities. This includes_Mon Sep 19 06:07:41 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-41-978508000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-07-41-978508000-PDT.html[nogin] ___ WARNING _ This commit breaks the .prlb compativility. ____Mon Sep 19 06:08:51 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-08-51-855619000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-08-51-855619000-PDT.html[jyh] Added the standardizer._Mon Sep 19 06:11:55 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-11-55-394173000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-11-55-394173000-PDT.html[jyh] Added the spill code generator._Mon Sep 19 06:11:55 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-11-55-950025000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-11-55-950025000-PDT.html[jyh] Added the coalescing phase._Mon Sep 19 06:11:56 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-11-56-982129000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-11-56-982129000-PDT.html[jyh] Added the register allocator. I believe the next step is to define a main_Mon Sep 19 06:11:57 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-11-57-430814000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-11-57-430814000-PDT.html[jyh] The compiler is now with a complete x86 backend. Undebugged, though._Mon Sep 19 06:11:57 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-11-57-813733000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-11-57-813733000-PDT.html[n8gray] All the parts are complete, now we just need to hook them together._Mon Sep 19 06:11:58 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-11-58-319199000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-11-58-319199000-PDT.html[jyh] Dulicated the changes that Nathan did_/_Mon Sep 19 06:11:59 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-11-59-611358000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-11-59-611358000-PDT.html[jyh] Minor OMakefile changes to use Mcc_theory as the compiler root._Mon Sep 19 06:12:01 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-01-013140000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-01-013140000-PDT.html[nogin] Commenting out the eprintln line._Mon Sep 19 06:12:01 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-01-543157000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-01-543157000-PDT.html[jyh] Proper code generation for Ext_int_test.test1. To see the code, run_Mon Sep 19 06:12:02 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-02-976310000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-02-976310000-PDT.html[jyh] Minor fixes in code generation._Mon Sep 19 06:12:04 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-04-178590000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-04-178590000-PDT.html[jyh] Partial fix to the register renaming phase._Mon Sep 19 06:12:05 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-05-081550000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-05-081550000-PDT.html[jyh] The renameT phase now works for the Ext_int_test.test1 example._Mon Sep 19 06:12:05 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-05-698313000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-05-698313000-PDT.html[jyh] Added the Mcc_hoist module, to hoist closed expressions, in particular_Mon Sep 19 06:12:06 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-06-333829000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-06-333829000-PDT.html[n8gray] 1. Fixed some bugs in bools and ints._Mon Sep 19 06:12:07 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-07-103291000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-07-103291000-PDT.html[n8gray] Oops, forgot this._Mon Sep 19 06:12:08 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-08-208402000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-08-208402000-PDT.html[jyh] Added a couple new stages to the backend__Mon Sep 19 06:12:09 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-09-602358000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-09-602358000-PDT.html[jyh] Working on register allocation. I get this sad failure__Mon Sep 19 06:12:10 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-10-667359000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-10-667359000-PDT.html[jyh] Register allocation seems to do something sensible on test2._Mon Sep 19 06:12:11 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-11-182309000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-11-182309000-PDT.html[nogin] The .prla needs to be moved too._Mon Sep 19 06:12:14 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-14-552385000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-14-552385000-PDT.html[nogin] Created a partial Phobos grammar for the Mojave language _a number_Mon Sep 19 06:12:15 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-15-782004000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-15-782004000-PDT.html[jyh] Yay, our first program _ext_int_test/test2_ compiles, runs, and_Mon Sep 19 06:12:16 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-16-626734000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-16-626734000-PDT.html[n8gray] Added build instructions to the top comment._Mon Sep 19 06:12:17 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-17-647579000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-17-647579000-PDT.html[n8gray] Added a string extension. Only constant strings for now._Mon Sep 19 06:12:18 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-18-050879000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-18-050879000-PDT.html[jyh] Fixed various bugs with things like using the untyped language_Mon Sep 19 06:12:18 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-18-576538000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-18-576538000-PDT.html[jyh] The hoist phase now lifts out closed functions correctly._Mon Sep 19 06:12:19 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-19-391057000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-19-391057000-PDT.html[jyh] Pretty good code generation for factorial. The next step is to figure out_Mon Sep 19 06:12:19 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-19-924536000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-19-924536000-PDT.html[jyh] Eliminated those pasky mov instructions for function definitions_Mon Sep 19 06:12:20 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-20-559963000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-20-559963000-PDT.html[nogin] Minor updates _display forms, Core_ast __ Core_base followup fixes, etc_._Mon Sep 19 06:12:21 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-21-035518000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-21-035518000-PDT.html[nogin] Minor clean_up._Mon Sep 19 06:12:21 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-21-553642000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-21-553642000-PDT.html[jyh] . test_fact compiles, runs, and produces the correct answer_ At this_Mon Sep 19 06:12:23 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-23-204983000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-23-204983000-PDT.html[nogin] Switched all of core_test and more of ext_int_test _including the_Mon Sep 19 06:12:23 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-23-941374000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-23-941374000-PDT.html[jyh] . Mainly a minor cleanup to make the code clearer._Mon Sep 19 06:12:24 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-24-616535000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-24-616535000-PDT.html[nogin] _ Fixed the argument order in the Phobos _let rec_ parsing._Mon Sep 19 06:12:26 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-26-935210000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-26-935210000-PDT.html[nogin] This commit replaces Perv_cons and Perv_nil with Mcc_list_util_cons and_Mon Sep 19 06:12:30 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-30-345614000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-30-345614000-PDT.html[nogin] Fixing the code that was supposed to complain if more then one rule/rewrite/etc_Mon Sep 19 06:12:34 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-34-160406000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-34-160406000-PDT.html[nogin] Adding tail_call optimizations. This makes the asm.s file for the test_fact_Mon Sep 19 06:12:34 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-35-001202000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-35-001202000-PDT.html[nogin] A number of display form updates._Mon Sep 19 06:12:36 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-36-481606000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-36-481606000-PDT.html[nogin] I was finally able to derive the CPS tail call optimizations from eta_Mon Sep 19 06:12:37 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-37-467885000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-37-467885000-PDT.html[n8gray] test_fib doesn_t compile. I know it_s late to be working on the code, but I_Mon Sep 19 06:12:40 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-40-033072000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-40-033072000-PDT.html[nogin] Added stuckC error reporting to Codegen._Mon Sep 19 06:12:40 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-40-423133000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2004-03/2005-09-19-06-12-40-423133000-PDT.html