[jyh] Added some example code for how we want new term_ Mon Sep 19 04:54:13 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-54-13-091370000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-54-13-091370000-PDT.html [jyh] Forgot to add the file._ Mon Sep 19 04:54:13 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-54-13-622905000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-54-13-622905000-PDT.html [jyh] Beginning the slow process of migrating MetaPRL toward libmojave._ Mon Sep 19 04:54:15 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-54-16-002892000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-54-16-002892000-PDT.html [] This commit was manufactured by cvs2svn to create branch_ Mon Sep 19 04:54:18 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-54-18-665217000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-54-18-665217000-PDT.html [jyh] I decided to finish the port to abstract vars anyway._ Mon Sep 19 04:54:45 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-54-45-533603000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-54-45-533603000-PDT.html [jyh] Migrated String_util and Mp_debug to libmojave versions._ Mon Sep 19 04:54:50 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-54-50-940239000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-54-50-940239000-PDT.html [nogin] Merging in the abstract_vars branch__ Mon Sep 19 04:55:39 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-55-39-932017000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-55-39-932017000-PDT.html [jyh] Added a little more code for type inference. The current_ Mon Sep 19 04:56:23 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-56-23-642965000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-56-23-642965000-PDT.html [] This commit was manufactured by cvs2svn to create branch_ Mon Sep 19 04:56:32 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-56-32-869939000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-56-32-869939000-PDT.html [jyh] Core_type_infer now compiles, though completely untested._ Mon Sep 19 04:56:54 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-56-54-972068000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-56-54-972068000-PDT.html [jyh] Some minor changes._ Mon Sep 19 04:56:55 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-56-55-913514000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-56-55-913514000-PDT.html [jyh] Forgot to add this file._ Mon Sep 19 04:56:56 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-56-56-680882000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-56-56-680882000-PDT.html [jyh] Merged CPS conversion and sequent representation of_ Mon Sep 19 04:57:01 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-57-01-890370000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-57-01-890370000-PDT.html [jyh] Added sequents to __con_ ... __ quotation._ Mon Sep 19 04:57:12 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-57-12-574764000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-57-12-574764000-PDT.html [] This commit was manufactured by cvs2svn to create branch_ Mon Sep 19 04:57:17 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-57-17-318283000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-57-17-318283000-PDT.html [crt] Added sequents code to all the files..._ Mon Sep 19 04:57:17 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-57-17-659357000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-57-17-659357000-PDT.html [] This commit was manufactured by cvs2svn to create branch_ Mon Sep 19 04:58:43 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-58-43-696515000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-07/2005-09-19-04-58-43-696515000-PDT.html