[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