[nogin] Current state of tests_Mon Sep 19 07:18:49 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-18-49-925708000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-18-49-925708000-PDT.html[jyh] Make sure the compileT tactic matches the mmc script._Mon Sep 19 07:18:51 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-18-51-583346000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-18-51-583346000-PDT.html[jyh] Working on special calls._Mon Sep 19 07:18:52 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-18-52-050558000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-18-52-050558000-PDT.html[jyh] Add parsing rules for Mmc_core_type_check_mem_args._Mon Sep 19 07:18:52 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-18-52-702508000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-18-52-702508000-PDT.html[nogin] Current state of tests_Mon Sep 19 07:18:53 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-18-53-298805000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-18-53-298805000-PDT.html[jyh] WARNING_ see below_Mon Sep 19 07:18:56 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-18-56-773025000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-18-56-773025000-PDT.html[jyh] Added a line to term_base_ds to avoid the capture problem in bug _432._Mon Sep 19 07:18:58 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-18-58-796931000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-18-58-796931000-PDT.html[jyh] We can now print integers with the print_int special call._Mon Sep 19 07:18:59 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-18-59-348804000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-18-59-348804000-PDT.html[jyh] Added string lexing as a primitive to Filter_grammar._Mon Sep 19 07:19:00 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-00-422779000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-00-422779000-PDT.html[nogin] Current state of the tests_Mon Sep 19 07:19:00 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-00-956378000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-00-956378000-PDT.html[jyh] Incomplete support for strings in the backend._Mon Sep 19 07:19:05 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-05-219472000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-05-219472000-PDT.html[jyh] Finished the backend implementation of strings._Mon Sep 19 07:19:06 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-06-223134000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-06-223134000-PDT.html[jyh] Added explicit iform category for terms. The syntax is__Mon Sep 19 07:19:07 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-07-201321000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-07-201321000-PDT.html[jyh] Made some progress with Mandelbrot._Mon Sep 19 07:19:11 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-11-286846000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-11-286846000-PDT.html[jyh] In iform checking, handle quoted shapes by stripping the quotes._Mon Sep 19 07:19:12 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-12-619969000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-12-619969000-PDT.html[nogin] Current state of tests_Mon Sep 19 07:19:14 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-14-712462000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-14-712462000-PDT.html[jyh] Removed the _ignore check in input term checking. I had forgotten_Mon Sep 19 07:19:15 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-15-157083000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-15-157083000-PDT.html[jyh] Enable simple inlining, before CPS. Next we need constant folding._Mon Sep 19 07:19:15 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-15-839593000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-15-839593000-PDT.html[nogin] When forcing the type_check rule, add the name of the stage to the potential_Mon Sep 19 07:19:16 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-16-242487000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-16-242487000-PDT.html[jyh] Added some simple inlining and constant folding._Mon Sep 19 07:19:18 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-18-701463000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-18-701463000-PDT.html[jyh] Some cleanup._Mon Sep 19 07:19:19 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-19-454210000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-19-454210000-PDT.html[jyh] There seems to be a simple problem in type inference that is a show_stopper._Mon Sep 19 07:19:19 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-19-894756000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-19-894756000-PDT.html[nogin] _ Replaced _compilable_Constrain__e__ty___ with _compilable__e__ty___Mon Sep 19 07:19:20 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-20-354463000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-20-354463000-PDT.html[nogin] Added a comment _ the type inference for let rec is substantially wrong._Mon Sep 19 07:19:22 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-22-289589000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-22-289589000-PDT.html[jyh] Minor cleanups. Aleksey found the problem with type inference, we_Mon Sep 19 07:19:23 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-23-263215000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-23-263215000-PDT.html[jyh] Updated type inference for recursive functions to use the_Mon Sep 19 07:19:23 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-23-701225000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-23-701225000-PDT.html[nogin] Current state of tests_Mon Sep 19 07:19:24 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-24-392279000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-24-392279000-PDT.html[nogin] The names of the .exe were clashing when tests were running in parallel,_Mon Sep 19 07:19:24 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-24-993181000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-24-993181000-PDT.html[jyh] Hoisting has an issue with nested recursive functions._Mon Sep 19 07:19:25 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-25-468393000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-25-468393000-PDT.html[nogin] _Group meeting__ went over the let rec type inference code._Mon Sep 19 07:19:26 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-26-022688000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-26-022688000-PDT.html[nogin] _ mmc_tests_ added a summary at the end._Mon Sep 19 07:19:26 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-26-523055000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-26-523055000-PDT.html[jyh] Added a _strategy_ parameter to the hoister. This isn_t finished,_Mon Sep 19 07:19:26 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-27-004769000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-27-004769000-PDT.html[nogin] In table_based conversions, call the get_resource_arg once in the high_level_Mon Sep 19 07:19:31 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-31-708475000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-31-708475000-PDT.html[nogin] mmc_and_intro _ for some reason the nice grammar form did not work for Nathan__Mon Sep 19 07:19:34 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-34-447723000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-34-447723000-PDT.html[jyh] This fixes the problem with hoisting, and Mandel now goes all_Mon Sep 19 07:19:34 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-34-832643000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-34-832643000-PDT.html[jyh] The base theory is now ../../base_Mon Sep 19 07:19:36 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-36-077821000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-36-077821000-PDT.html[jyh] Cleaned up the TODO list. Testing commit messages._Mon Sep 19 07:19:36 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-36-451148000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-36-451148000-PDT.html[jyh] Getting started on the port. I need to fix the booboo__I placed these_Mon Sep 19 07:19:36 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-36-879460000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-36-879460000-PDT.html[jyh] This is the bare template for pmc, which is completely empty right_Mon Sep 19 07:19:37 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-37-625889000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-37-625889000-PDT.html[jyh] Moved the util/ directory to the mojave_root, since these files_Mon Sep 19 07:19:38 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-38-217953000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-38-217953000-PDT.html[jyh] Move the config to the compiler_specific directories._Mon Sep 19 07:19:40 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-40-590244000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-40-590244000-PDT.html[jyh] Simple hoisting is a utility._Mon Sep 19 07:19:41 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-41-206185000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-41-206185000-PDT.html[jyh] Remove the generic bind term in mmc._Mon Sep 19 07:19:42 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-42-069824000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-42-069824000-PDT.html[jyh] Ported _base_ to pmc._Mon Sep 19 07:19:42 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-42-506294000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-42-506294000-PDT.html[jyh] Ignore some more files._Mon Sep 19 07:19:48 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-48-801429000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-48-801429000-PDT.html[jyh] Meta_lambda should be using a sequent representation of arguments._Mon Sep 19 07:19:49 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-49-503329000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-49-503329000-PDT.html[jyh] Added AST._Mon Sep 19 07:19:49 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-49-926302000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-49-926302000-PDT.html[jyh] Whew, prettified mmc_core_type_erase_Mon Sep 19 07:19:50 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-50-598018000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-50-598018000-PDT.html[jyh] Added some grammar documentation._Mon Sep 19 07:19:51 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-51-683022000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-51-683022000-PDT.html[jyh] Separate the concept of propositions from type checking._Mon Sep 19 07:19:52 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-52-211262000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-52-211262000-PDT.html[jyh] Cleaned up type inference. If _only_ we could agree on basic style_Mon Sep 19 07:19:53 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-53-170733000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-53-170733000-PDT.html[jyh] Cleaned up type checking._Mon Sep 19 07:19:53 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-53-752074000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-53-752074000-PDT.html[jyh] Copied everything up through type inference to pmc._Mon Sep 19 07:19:54 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-54-338991000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-54-338991000-PDT.html[jyh] Add the initial stages to the core_theory_Mon Sep 19 07:19:56 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-56-620815000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-56-620815000-PDT.html[jyh] Finished cps, sweep, and closure._Mon Sep 19 07:19:57 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-57-301396000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-19-57-301396000-PDT.html[jyh] Changed the names_Mon Sep 19 07:20:00 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-00-065888000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-00-065888000-PDT.html[jyh] Updated arith, int, bool._Mon Sep 19 07:20:01 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-01-053407000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-01-053407000-PDT.html[jyh] Partial cleanup of tuples._Mon Sep 19 07:20:02 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-02-347582000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-02-347582000-PDT.html[jyh] Renamed arith__operator as Nathan suggested._Mon Sep 19 07:20:02 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-02-731767000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-02-731767000-PDT.html[jyh] Some more cleanup._Mon Sep 19 07:20:03 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-03-214785000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-03-214785000-PDT.html[nogin] In messages that say that a config file was created/updated, give the full_Mon Sep 19 07:20:04 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-04-101665000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-04-101665000-PDT.html[nogin] Renamed mmc __ pmc_Mon Sep 19 07:20:04 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-04-598543000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-04-598543000-PDT.html[nogin] MMC __ PMC._Mon Sep 19 07:20:05 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-05-248298000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-05-248298000-PDT.html[nogin] Fixing some problems with type erasure, but not all of them._Mon Sep 19 07:20:05 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-05-656048000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-05-656048000-PDT.html[nogin] Fixed another eraseC issue _ for some reason it had _repeatC _sweepDnC__Mon Sep 19 07:20:06 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-06-162122000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-06-162122000-PDT.html[nogin] Fixed erase_ we had _let definitions var f _ e and _defs2_ in e_ where the two_Mon Sep 19 07:20:06 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-06-580049000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-06-580049000-PDT.html[nogin] The rule unpack_type_start was not general enough._Mon Sep 19 07:20:06 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-06-992318000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-06-992318000-PDT.html[nogin] For some reason typechecking rules for specific relops all said that relops_Mon Sep 19 07:20:07 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-07-459782000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-07-459782000-PDT.html[n8gray] Fix a trivial copy_and_paste bug._Mon Sep 19 07:20:08 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-08-047220000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-08-047220000-PDT.html[n8gray] Fixed condition codes_ _lt_ __ _l_ and _gt_ __ _g__Mon Sep 19 07:20:08 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-08-429678000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-08-429678000-PDT.html[n8gray] MP_ROOT is now ../../.. by default._Mon Sep 19 07:20:09 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-09-072752000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-09-072752000-PDT.html[nogin] _ Added mmc_bool_test tests to _omake mmc_tests__Mon Sep 19 07:20:09 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-09-477014000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-09-477014000-PDT.html[nogin] Added a __txt option to the mmc script that would cause it to produce the_Mon Sep 19 07:20:10 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-10-761640000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-10-761640000-PDT.html[nogin] filter_code_operands used to raise a ReFineError when a CodeMove instruction_Mon Sep 19 07:20:11 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-11-476554000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-11-476554000-PDT.html[nogin] Couple of _XXX BUG_ comments _a number of spilling rewrites seem to be_Mon Sep 19 07:20:11 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-11-897578000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-11-897578000-PDT.html[n8gray] _ The mmc script is not architecture independent, so hardwire the x86 runtime as_Mon Sep 19 07:20:12 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-12-736582000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-12-736582000-PDT.html[nogin] Current state of tests._Mon Sep 19 07:20:13 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-13-582577000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-13-582577000-PDT.html[nogin] Implemented callcc/throw. Completely untested._Mon Sep 19 07:20:14 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-14-061040000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-14-061040000-PDT.html[jyh] Letting the paper cook for a while._Mon Sep 19 07:20:14 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-14-607650000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-14-607650000-PDT.html[nogin] _ Added a few tuple tests._Mon Sep 19 07:20:15 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-15-676390000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-15-676390000-PDT.html[nogin] _ Added type erasure to callcc extension._Mon Sep 19 07:20:16 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-16-447325000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-16-447325000-PDT.html[nogin] Protected spilling/regalloc eprintfs with_Mon Sep 19 07:20:17 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-17-539953000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-17-539953000-PDT.html[nogin] Removing unused files_Mon Sep 19 07:20:18 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-18-558969000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-18-558969000-PDT.html[nogin] This finally removes the restriction _fun_std must be inside a Lam_ before the_Mon Sep 19 07:20:19 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-19-031490000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-19-031490000-PDT.html[nogin] Callcc should not introduce a binding._Mon Sep 19 07:20:20 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-20-881693000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-20-881693000-PDT.html[nogin] _ Added a _typeof let_ reerite to the typeof sweeper._Mon Sep 19 07:20:21 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-21-774303000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-21-774303000-PDT.html[nogin] Trivial_Mon Sep 19 07:20:23 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-23-231323000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-23-231323000-PDT.html[nogin] _ Added the FSub foundation._Mon Sep 19 07:20:23 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-23-616150000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-23-616150000-PDT.html[n8gray] Replaced tuple subscripting with uspread in the untyped language. uspread is_Mon Sep 19 07:20:29 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-29-783629000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-29-783629000-PDT.html[nogin] Current state of the tests. Mmc_tuple_test.test4 shows a bug in the type_Mon Sep 19 07:20:30 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-30-523084000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-30-523084000-PDT.html[nogin] Use the new intro annotation capabilities _onSomeHypT on rules with a_Mon Sep 19 07:20:31 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-31-864130000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-31-864130000-PDT.html[nogin] Added lambdas and applications._Mon Sep 19 07:20:32 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-32-368179000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-32-368179000-PDT.html[nogin] Updated the parsing for the rules and rewrites._Mon Sep 19 07:20:34 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-34-740174000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-34-740174000-PDT.html[nogin] Fixing bug 440 _type inference for tuples_. Turned out that this was a very_Mon Sep 19 07:20:35 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-35-305328000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-35-305328000-PDT.html[n8gray] Ref cells seem to be working through type inference/checking._Mon Sep 19 07:20:37 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-37-856965000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-37-856965000-PDT.html[n8gray] test cases for the ref extension._Mon Sep 19 07:20:38 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-38-441556000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-38-441556000-PDT.html[n8gray] Ref cells seem to work through CPS_Mon Sep 19 07:20:38 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-38-938113000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-38-938113000-PDT.html[n8gray] Fix typo in comment in mmc_core_sweep.mli._Mon Sep 19 07:20:40 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-40-576933000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-40-576933000-PDT.html[n8gray] Hmm, maybe the sequence extension doesn_t work, but maybe it_s a bug in ref._Mon Sep 19 07:20:41 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-41-096836000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-41-096836000-PDT.html[n8gray] ___ empty log message ____Mon Sep 19 07:20:41 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-41-577920000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-41-577920000-PDT.html[nogin] Current state of tests_Mon Sep 19 07:20:41 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-41-964820000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-41-964820000-PDT.html[nogin] Removed the unnecessary _as t_ from the ref extension._Mon Sep 19 07:20:42 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-42-572661000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-42-572661000-PDT.html[nogin] Comments on callcc were outdated._Mon Sep 19 07:20:43 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-43-058730000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-43-058730000-PDT.html[nogin] Fixed the problem with refs_sequences_ we were missing _tok_assign _ tok_semi__Mon Sep 19 07:20:44 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-44-180830000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-44-180830000-PDT.html[nogin] Created a typeclass MTerm for meta_terms and changed the_Mon Sep 19 07:20:44 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-44-822956000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-44-822956000-PDT.html[nogin] Added slot[_esc_, s_s] and slot[_cesc_, s_s] display forms for printing the_Mon Sep 19 07:20:45 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-45-539803000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-45-539803000-PDT.html[jyh] Updated Filter_grammar to match the Lm_lexer change from omake._Mon Sep 19 07:20:46 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-46-208408000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-46-208408000-PDT.html[nogin] Current state of tests._Mon Sep 19 07:20:48 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-48-038454000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-48-038454000-PDT.html[jyh] Rename the _string_ extension to _str_, to avoid confusion with_Mon Sep 19 07:20:49 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-49-512191000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-04/2005-09-19-07-20-49-512191000-PDT.html