[jyh] More updates to the book._ Mon Sep 19 06:32:12 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-12-952735000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-12-952735000-PDT.html [jyh] More changes to the book._ Mon Sep 19 06:32:14 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-14-129905000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-14-129905000-PDT.html [nogin] Remove _.omc on _omake clean_ _bug 291_._ Mon Sep 19 06:32:14 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-14-657879000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-14-657879000-PDT.html [nogin] Some code in proof_edit relied on left_to_right order of evaluation of_ Mon Sep 19 06:32:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-15-030406000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-15-030406000-PDT.html [nogin] Added a work_around for bug 175. Hopefully, once we start using extracts_ Mon Sep 19 06:32:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-15-512906000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-15-512906000-PDT.html [yegor] Added Natalia_s and mine paper _TPHOLs 2004, cat B_._ Mon Sep 19 06:32:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-16-157145000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-16-157145000-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/metaprl/2004-09/2005-09-19-06-32-16-530547000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/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/metaprl/2004-09/2005-09-19-06-32-17-500371000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/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/metaprl/2004-09/2005-09-19-06-32-18-353195000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-18-353195000-PDT.html [nogin] Re_adding Jason_s filter changes to the branch_ Mon Sep 19 06:32:34 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-34-211101000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-34-211101000-PDT.html [nogin] _Bug 294_ Do not insist on building the proxyedit binary in native code._ Mon Sep 19 06:32:34 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-34-763440000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-34-763440000-PDT.html [yegor] BYTECODE_ENABLED __ BYTE_ENABLED_ Mon Sep 19 06:32:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-35-110784000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-35-110784000-PDT.html [nogin] Fixing typo in a comment._ Mon Sep 19 06:32:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-35-468472000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-35-468472000-PDT.html [jyh] filter/base/filter_grammar.ml is the file that does most of the work_ Mon Sep 19 06:32:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-35-818174000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-35-818174000-PDT.html [jyh] This completes the base parser. Next thing is to hook it into the filter._ Mon Sep 19 06:32:36 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-36-341171000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-36-341171000-PDT.html [jyh] Added the grammar to Filter_cache_fun. Still no hooks to_ Mon Sep 19 06:32:36 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-36-797591000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-36-797591000-PDT.html [nogin] Include the full search path in the _Failed to find the specified format of__ Mon Sep 19 06:32:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-37-802381000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-37-802381000-PDT.html [jyh] Added hooks in Filter_cache_fun for calling the grammar functions._ Mon Sep 19 06:32:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-38-212510000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-38-212510000-PDT.html [jyh] Added the hooks in Filter_parse for the grammar._ Mon Sep 19 06:32:39 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-39-322545000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-39-322545000-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/metaprl/2004-09/2005-09-19-06-32-39-942366000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/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/metaprl/2004-09/2005-09-19-06-32-40-693268000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-40-693268000-PDT.html [jyh] Added the grammar for MMC._ Mon Sep 19 06:32:41 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-41-748740000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-41-748740000-PDT.html [nogin] Added a patch for 3.08.1 to make it work with MetaPRL._ Mon Sep 19 06:32:43 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-43-482720000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-43-482720000-PDT.html [jyh] Added MMC grammar. Added post_processing based on iforms._ Mon Sep 19 06:32:43 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-43-942844000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-43-942844000-PDT.html [jyh] Added quotation expansion to the toploop._ Mon Sep 19 06:32:45 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-45-547978000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-45-547978000-PDT.html [jyh] Added the magic number generator. If you are concerned that your_ Mon Sep 19 06:32:46 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-46-138950000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-46-138950000-PDT.html [jyh] More mods to the book._ Mon Sep 19 06:32:46 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-46-919986000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-46-919986000-PDT.html [yegor] Removed reference to MS Visual C Toolkit because it does not include MASM ___ Mon Sep 19 06:32:47 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-47-543141000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-47-543141000-PDT.html [jyh] Migrated the grammars into the .cm_z files._ Mon Sep 19 06:32:48 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-48-272514000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-48-272514000-PDT.html [jyh] Actually, it all works as expected, but parser generation_ Mon Sep 19 06:32:49 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-49-410443000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-49-410443000-PDT.html [jyh] The new LALR changes look good._ Mon Sep 19 06:32:49 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-49-977860000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-49-977860000-PDT.html [n8gray] Eliminated the massive over_indentation on uncaught exceptions in the toploop._ Mon Sep 19 06:32:58 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-58-677090000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-58-677090000-PDT.html [nogin] Turned out we never checked arity _and context bindings__ of sequent contexts ____ Mon Sep 19 06:32:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-59-055955000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-59-055955000-PDT.html [nogin] Added a _submit_ button._ Mon Sep 19 06:32:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-59-618183000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-59-618183000-PDT.html [n8gray] Fix files broken after switch to Lm_format._ Mon Sep 19 06:32:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-59-989397000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-32-59-989397000-PDT.html [n8gray] Better error reporting on refine errors during rewrite application. Use_ Mon Sep 19 06:33:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-33-00-373699000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-33-00-373699000-PDT.html [nogin] Make sure the new genmagic stuff is properly cleaned up on _omake clean_._ Mon Sep 19 06:33:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-33-01-476031000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-33-01-476031000-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/metaprl/2004-09/2005-09-19-06-33-02-273672000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-33-02-273672000-PDT.html [nogin] Adding a few comments on the things we_ve discussed on the way back from ICFP._ Mon Sep 19 06:33:02 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-33-02-762601000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-33-02-762601000-PDT.html [nogin] Use the _batch flag._ Mon Sep 19 06:33:03 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-33-03-246235000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-09/2005-09-19-06-33-03-246235000-PDT.html