[n8gray] Changed Apply so that the list of type arguments is a sequent. For example__ Mon Sep 19 06:30:15 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-16-001711000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-16-001711000-PDT.html [nogin] _ Finished one more proof in Core CPS._ Mon Sep 19 06:30:17 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-17-652485000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-17-652485000-PDT.html [n8gray] Fixing file overlooked in Apply changes._ Mon Sep 19 06:30:20 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-20-483310000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-20-483310000-PDT.html [nogin] A stab at implemesting a testing framework for mmc _in a form of a_ Mon Sep 19 06:30:20 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-20-866527000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-20-866527000-PDT.html [nogin] _ Commenting out the frontT stage as it does not work yet._ Mon Sep 19 06:30:23 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-23-697813000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-23-697813000-PDT.html [nogin] _ Use __batch_ in the mmc _compiler_ shell script._ Mon Sep 19 06:30:25 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-25-451570000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-25-451570000-PDT.html [nogin] Do not include terminfo ESC_sequences in the tests output._ Mon Sep 19 06:30:27 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-27-349347000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-27-349347000-PDT.html [nogin] When hoisting is impossible _because the outer term binds variables that are free_ Mon Sep 19 06:30:29 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-29-907587000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-29-907587000-PDT.html [nogin] Closure still wasn_t apdated for the new Apply syntax._ Mon Sep 19 06:30:31 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-31-263580000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-31-263580000-PDT.html [nogin] StrictList naming should consider integer and boolean constants to be strict._ Mon Sep 19 06:30:31 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-31-671203000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-31-671203000-PDT.html [nogin] _ For degugging purposes, type check after every stage in coreT._ Mon Sep 19 06:30:32 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-32-084828000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-32-084828000-PDT.html [nogin] Fixing bug 262 _ the type_checking rules should not insist on using the_ Mon Sep 19 06:30:34 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-34-560027000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-34-560027000-PDT.html [n8gray] Fixed a bug with recursive lambdas. _Incomplete Apply fix again.__ Mon Sep 19 06:30:36 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-36-107879000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-36-107879000-PDT.html [nogin] For now, hardcode _addrC [0_ 0]_ into the hoisting code _to account_ Mon Sep 19 06:30:41 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-41-512110000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-41-512110000-PDT.html [nogin] _ For some reason codegen expected the body of the main function to have the_ Mon Sep 19 06:30:42 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-42-822391000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-30-42-822391000-PDT.html [nogin] Removed the OMake version constrain _ the MetaPRL one is strong enough for now._ Mon Sep 19 06:31:04 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-31-04-529346000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-31-04-529346000-PDT.html [nogin] MMC Tests require libruntime._ Mon Sep 19 06:31:05 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-31-05-384310000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-31-05-384310000-PDT.html [nogin] The ____ __EQEQ__ operator was missing from the precedence tables, causing_ Mon Sep 19 06:31:06 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-31-06-121281000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-31-06-121281000-PDT.html [jyh] Get MMC to compile on Win32._ Mon Sep 19 06:31:15 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-31-15-917618000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-31-15-917618000-PDT.html [jyh] Ignore more files._ Mon Sep 19 06:31:16 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-31-16-529028000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-31-16-529028000-PDT.html [jyh] Removed all _I suffixes from INCLUDES_ Mon Sep 19 06:31:22 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-31-22-455742000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-31-22-455742000-PDT.html [n8gray] Conversion to new sequent syntax._ Mon Sep 19 06:31:25 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-31-25-372723000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-31-25-372723000-PDT.html [n8gray] Finished _hopefully ___ conversion to new sequent syntax._ Mon Sep 19 06:31:26 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-31-26-564830000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-31-26-564830000-PDT.html [] This commit was manufactured by cvs2svn to create branch _letfun_._ Mon Sep 19 06:31:28 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-31-28-409030000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-07/2005-09-19-06-31-28-409030000-PDT.html