[jyh] Removing extensions/fix._Mon Sep 19 06:56:55 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-56-55-226297000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-56-55-226297000-PDT.html[jyh] Whew, mmc now compiles with full type information._Mon Sep 19 06:57:01 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-57-01-766331000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-57-01-766331000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:57:20 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-57-20-431145000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-57-20-431145000-PDT.html[jyh] Ouch, we had__Mon Sep 19 06:57:37 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-57-37-563339000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-57-37-563339000-PDT.html[nogin] Yet another instance of the opname_classes branch, merged once again with the_Mon Sep 19 06:57:38 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-57-38-529801000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-57-38-529801000-PDT.html[jyh] Added display_form type checking. This was a little painful because_Mon Sep 19 06:58:44 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-58-44-117375000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-58-44-117375000-PDT.html[jyh] Disallow type constraints rules and rewrites. For type inference,_Mon Sep 19 06:59:20 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-59-20-759819000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-59-20-759819000-PDT.html[jyh] Typechecking is now stricter._Mon Sep 19 06:59:22 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-59-22-890822000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-59-22-890822000-PDT.html[jyh] 1. Some work on mmc._Mon Sep 19 06:59:27 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-59-27-518800000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-59-27-518800000-PDT.html[nogin] ____________________________________________________________________________Mon Sep 19 06:59:39 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-59-39-935257000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-06-59-39-935257000-PDT.html[jyh] I overlooked free type variables in the environment during existential_Mon Sep 19 07:00:59 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-00-59-187332000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-00-59-187332000-PDT.html[jyh] Corrected the subtyping rule for hyp contexts._Mon Sep 19 07:01:55 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-01-55-566874000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-01-55-566874000-PDT.html[jyh] Debugging type inference._Mon Sep 19 07:09:33 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-33-613166000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-33-613166000-PDT.html[jyh] Check token types too._Mon Sep 19 07:09:34 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-34-693320000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-34-693320000-PDT.html[jyh] More minor updates. We_re now stuck in an infinite loop in CPS._Mon Sep 19 07:09:35 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-35-840659000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-35-840659000-PDT.html[jyh] 1. tycps_tyfun_std had some serious problems._Mon Sep 19 07:09:36 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-36-354203000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-36-354203000-PDT.html[jyh] Working on the backend. The terms changed a lot, so most of the_Mon Sep 19 07:09:38 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-38-195876000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-38-195876000-PDT.html[jyh] Added a ___ form for productions, which really makes more sense than_Mon Sep 19 07:09:39 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-39-380289000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-39-380289000-PDT.html[jyh] Different quotations should not be required to use the_Mon Sep 19 07:09:39 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-39-979925000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-39-979925000-PDT.html[jyh] The assembly grammar is partially defined._Mon Sep 19 07:09:44 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-44-386333000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-44-386333000-PDT.html[jyh] Added two new iform terms__Mon Sep 19 07:09:44 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-44-870143000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-44-870143000-PDT.html[jyh] Added most of the grammar for the tast._Mon Sep 19 07:09:46 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-46-290155000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-46-290155000-PDT.html[jyh] Added tast grammars for integers and Booleans._Mon Sep 19 07:09:47 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-47-282298000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-47-282298000-PDT.html[jyh] Lm_parser was not computing the nullable productions properly,_Mon Sep 19 07:09:47 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-47-753997000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-47-753997000-PDT.html[jyh] Added contexts, so you can write such things as__Mon Sep 19 07:09:48 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-48-530812000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-48-530812000-PDT.html[jyh] Added support for nested quotations. Here is an example._Mon Sep 19 07:09:49 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-49-253081000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-49-253081000-PDT.html[jyh] Can almost specify a code generation step._Mon Sep 19 07:09:52 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-52-430664000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-52-430664000-PDT.html[jyh] Yay, my first codegen rule, codegen_hoist_fun. It is wrong,_Mon Sep 19 07:09:53 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-53-716681000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-53-716681000-PDT.html[jyh] Progress for generating code for closures._Mon Sep 19 07:09:54 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-54-658789000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-54-658789000-PDT.html[jyh] Added nested lexing to handle nested matching pairs._Mon Sep 19 07:09:55 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-55-427359000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-09-55-427359000-PDT.html[jyh] Changed args to be a vector instead of a list._Mon Sep 19 07:10:02 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-02-159992000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-02-159992000-PDT.html[jyh] Upgraded the existential type._Mon Sep 19 07:10:04 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-04-508373000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-04-508373000-PDT.html[jyh] Add the return type to functions._Mon Sep 19 07:10:05 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-05-328405000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-05-328405000-PDT.html[jyh] Fixed some typing problems I introduced on the last commit._Mon Sep 19 07:10:06 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-06-766169000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-06-766169000-PDT.html[jyh] Closure elimination is half finished._Mon Sep 19 07:10:07 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-07-657045000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-07-657045000-PDT.html[jyh] Pack the closures as existentially quantified tuples._Mon Sep 19 07:10:08 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-08-769943000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-08-769943000-PDT.html[jyh] For a standard application, project the _env, f_ and call with the_Mon Sep 19 07:10:09 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-09-538846000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-09-538846000-PDT.html[jyh] Simple closure elimination is finished._Mon Sep 19 07:10:10 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-10-191900000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-10-191900000-PDT.html[jyh] Added support for closure elimination for recursive functions._Mon Sep 19 07:10:10 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-10-881964000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-10-881964000-PDT.html[jyh] Additional minor fixes._Mon Sep 19 07:10:11 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-11-800402000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-11-800402000-PDT.html[jyh] Update the display forms._Mon Sep 19 07:10:12 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-12-234482000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-12-234482000-PDT.html[jyh] Reorganized the x86 directory hierarchy._Mon Sep 19 07:10:12 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-12-669886000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-12-669886000-PDT.html[jyh] Core code generation is complete._Mon Sep 19 07:10:19 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-19-223394000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-19-223394000-PDT.html[jyh] Added code generation for tuples and existential types._Mon Sep 19 07:10:20 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-20-315565000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-20-315565000-PDT.html[jyh] Almost finished tuples._Mon Sep 19 07:10:21 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-21-082188000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-21-082188000-PDT.html[jyh] We decided all extension_specific code should go in the extensions/_Mon Sep 19 07:10:23 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-23-037656000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-02/2005-09-19-07-10-23-037656000-PDT.html