[jyh] osh version of compile script._Mon Sep 19 06:52:09 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-52-09-102249000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-52-09-102249000-PDT.html[jyh] Hoisting is partially implemented._Mon Sep 19 06:52:12 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-52-12-348832000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-52-12-348832000-PDT.html[jyh] This is the non_working version of hoisting._Mon Sep 19 06:52:13 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-52-13-623851000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-52-13-623851000-PDT.html[nogin] The MMC part of my yesterday_s dT changes_Mon Sep 19 06:52:14 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-52-14-649022000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-52-14-649022000-PDT.html[jyh] Moved the meta_let, etc. to Mmc_base_meta._Mon Sep 19 06:52:18 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-52-18-030553000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-52-18-030553000-PDT.html[jyh] Working version of hoisting._Mon Sep 19 06:52:21 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-52-21-668987000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-52-21-668987000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:52:22 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-52-22-114618000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-52-22-114618000-PDT.html[nogin] The MMC part of the single_conclusion sequents change _untested__Mon Sep 19 06:52:57 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-52-57-929860000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-52-57-929860000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:53:14 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-53-14-479386000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-53-14-479386000-PDT.html[jyh] Adding types. This won_t compile until I push through the changes._Mon Sep 19 06:54:34 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-54-34-541152000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-54-34-541152000-PDT.html[jyh] Upgrading mmc._Mon Sep 19 06:54:48 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-54-48-667593000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-54-48-667593000-PDT.html[jyh] This is my current work for tonight._Mon Sep 19 06:54:50 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-54-50-904190000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-54-50-904190000-PDT.html[jyh] Improved the error messages from the type checker._Mon Sep 19 06:54:52 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-54-52-422370000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-54-52-422370000-PDT.html[jyh] This changes the sequent_arg in mmc_base_judgment to the following__Mon Sep 19 06:54:53 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-54-53-528637000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-54-53-528637000-PDT.html[jyh] Ok, I_ve decided the semi_non_disjoint union scheme is the best._Mon Sep 19 06:54:54 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-54-54-649081000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-54-54-649081000-PDT.html[jyh] Normalize types before unification._Mon Sep 19 06:54:56 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-54-56-187348000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-54-56-187348000-PDT.html[jyh] Packaging the type environment._Mon Sep 19 06:55:15 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-16-007541000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-16-007541000-PDT.html[jyh] On the branch__Mon Sep 19 06:55:20 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-20-806555000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-20-806555000-PDT.html[jyh] This is an intermediate commit._Mon Sep 19 06:55:24 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-24-531542000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-24-531542000-PDT.html[jyh] Added delayed type constraints._Mon Sep 19 06:55:26 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-26-094726000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-26-094726000-PDT.html[jyh] Whew, the rules in mmc_core_type_check.ml now type check._Mon Sep 19 06:55:27 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-27-424160000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-27-424160000-PDT.html[jyh] Lots of new typing declarations._Mon Sep 19 06:55:28 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-28-712866000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-28-712866000-PDT.html[jyh] Let_s make a clear distinction between typed and untyped expressions._Mon Sep 19 06:55:30 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-30-811871000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-30-811871000-PDT.html[jyh] I_m getting awfully tired to typing declare statements twice._Mon Sep 19 06:55:31 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-31-805547000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-31-805547000-PDT.html[jyh] More progress on mmc._Mon Sep 19 06:55:32 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-32-553059000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-32-553059000-PDT.html[jyh] Hypotheses have existential type, not universal._Mon Sep 19 06:55:33 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-33-841130000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-33-841130000-PDT.html[jyh] Use ustd and urec in the untyped language._Mon Sep 19 06:55:37 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-37-593344000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-37-593344000-PDT.html[nogin] This is the MMC part of the _more transparent address type_ changes_Mon Sep 19 06:55:38 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-38-055856000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-38-055856000-PDT.html[nogin] Removed the unused parts of the core_type_util_Mon Sep 19 06:55:38 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-38-761238000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-38-761238000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:55:43 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-43-088202000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-55-43-088202000-PDT.html[nogin] Merged the opname_classes2 branch with the trunk changes._Mon Sep 19 06:56:00 PDT 2005
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-56-00-322507000-PDT.html
http://svn.metaprl.org/commitlogs/mpcompiler/2005-01/2005-09-19-06-56-00-322507000-PDT.html