[n8gray] Added rewrites for closure of let recs. Now need to write tactics._ Mon Sep 19 06:32:13 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-13-723468000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-13-723468000-PDT.html [jyh] This is an initial start at an alternate form of parsing._ Mon Sep 19 06:32:16 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-16-530547000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-16-530547000-PDT.html [nogin] Moving Jason_s parser commit to the _new_parser_ branch._ Mon Sep 19 06:32:17 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-17-500371000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-17-500371000-PDT.html [] This commit was manufactured by cvs2svn to create branch _new_parser_._ Mon Sep 19 06:32:18 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-18-353195000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-18-353195000-PDT.html [n8gray] Updated type checking rules for let rec to exploit our new ability to lift_ Mon Sep 19 06:32:38 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-38-769028000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-38-769028000-PDT.html [jyh] Initial grammar. See theories/mmc/test/mmc_grammar.ml for an example._ Mon Sep 19 06:32:39 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-39-942366000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-39-942366000-PDT.html [jyh] Parser now rewrites in Relaxed mode so we can do capture and all that._ Mon Sep 19 06:32:40 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-40-693268000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-40-693268000-PDT.html [jyh] Remove Mmc_grammar_test_ Mon Sep 19 06:32:41 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-41-407462000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-41-407462000-PDT.html [jyh] Added the grammar for MMC._ Mon Sep 19 06:32:41 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-41-748740000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-41-748740000-PDT.html [jyh] Added the builtin grammar. To use it, use the quotation_ Mon Sep 19 06:32:44 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-44-832257000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-44-832257000-PDT.html [n8gray] Reworked so the tactic_based version compiles. Still doesn_t work._ Mon Sep 19 06:32:50 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-50-364801000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-32-50-364801000-PDT.html [n8gray] Closure conversion and CPS probably work now, but it looks like closure is_ Mon Sep 19 06:33:00 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-33-00-781007000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-33-00-781007000-PDT.html [nogin] Make sure that .omc files in MMC get cleaned up properly on _omake clean_._ Mon Sep 19 06:33:01 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-33-01-883401000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-33-01-883401000-PDT.html [nogin] _ Remove references to .cmig/.cmog since they are no longer used._ Mon Sep 19 06:33:02 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-33-02-273672000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-09/2005-09-19-06-33-02-273672000-PDT.html