[crt] Latest version of the mojave/core files_ Mon Sep 19 05:07:34 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-34-200791000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-34-200791000-PDT.html [jyh] The new explicit_contexts code discovered a bug, now we have to_ Mon Sep 19 05:07:34 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-34-685121000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-34-685121000-PDT.html [jyh] This is an unsatisfying workaround to the context scoping_ Mon Sep 19 05:07:35 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-35-474311000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-35-474311000-PDT.html [jyh] mojave/core now compiles. Next step is to do some testing._ Mon Sep 19 05:07:36 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-36-044668000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-36-044668000-PDT.html [jyh] Added CPS conversion tactic._ Mon Sep 19 05:07:36 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-36-431465000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-36-431465000-PDT.html [jyh] Added some support for sequent operations._ Mon Sep 19 05:07:36 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-36-887813000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-36-887813000-PDT.html [crt] Nathan and I came up with a few testcases..._ Mon Sep 19 05:07:37 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-37-997118000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-37-997118000-PDT.html [jyh] . Fixed several things to work with sequents._ Mon Sep 19 05:07:38 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-38-935458000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-38-935458000-PDT.html [crt] Tuples code added. It compiles..._ Mon Sep 19 05:07:40 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-40-865557000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-40-865557000-PDT.html [crt] Added some files that were missing. I wonder why cvs doesn_t flag_ Mon Sep 19 05:07:42 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-42-613351000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-42-613351000-PDT.html [jyh] Made some progress on unification._ Mon Sep 19 05:07:43 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-43-190564000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-43-190564000-PDT.html [jyh] Tell infer_fun_type to pay attention to Hypothesis values_ Mon Sep 19 05:07:43 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-43-919515000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-43-919515000-PDT.html [jyh] Turned off the hyp check so that we can at least see the sequents._ Mon Sep 19 05:07:44 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-44-422079000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-44-422079000-PDT.html [crt] Committing today_s work. I_ve been having CVS issues so I hope this doesn_t_ Mon Sep 19 05:07:45 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-45-407454000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-45-407454000-PDT.html [crt] Adding new files from today._ Mon Sep 19 05:07:46 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-46-975295000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-46-975295000-PDT.html [jyh] Type inference appears to complete on simple cases._ Mon Sep 19 05:07:48 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-48-559930000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-48-559930000-PDT.html [crt] Adding topval closeT._ Mon Sep 19 05:07:49 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-49-530345000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-49-530345000-PDT.html [crt] Adding extensions for integers and arithmetic._ Mon Sep 19 05:07:49 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-49-921605000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-49-921605000-PDT.html [] This commit was manufactured by cvs2svn to create branch_ Mon Sep 19 05:07:50 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-50-584519000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-50-584519000-PDT.html [crt] Here is a compiling version of metaprl which includes the integers and_ Mon Sep 19 05:07:50 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-50-922189000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-50-922189000-PDT.html [crt] Some more changes... I don_t know why all the files say they were touched..._ Mon Sep 19 05:07:54 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-54-032237000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-54-032237000-PDT.html [crt] Just a brief commit while moving to a different machine._ Mon Sep 19 05:07:54 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-54-512668000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-54-512668000-PDT.html [crt] Merged mojave_sequents branch back to the trunk._ Mon Sep 19 05:07:54 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-54-961116000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-07-54-961116000-PDT.html [n8gray] Cleaned up display of sequents a bit in simple_print._ Mon Sep 19 05:08:00 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-00-718646000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-00-718646000-PDT.html [n8gray] Forgot to cvs add these guys. Thanks Jason._ Mon Sep 19 05:08:03 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-03-497264000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-03-497264000-PDT.html [n8gray] These are important too..._ Mon Sep 19 05:08:03 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-03-953150000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-03-953150000-PDT.html [n8gray] Type inference is now working on test_prog[1_2]. Haven_t tried any other cases_ Mon Sep 19 05:08:06 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-06-391239000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-06-391239000-PDT.html [n8gray] Matching sequents is now a bit simpler. You don_t need to use _with_ clauses to_ Mon Sep 19 05:08:15 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-15-230774000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-15-230774000-PDT.html [n8gray] Type inference for arrays was broken if anything _the array, the index, etc__ Mon Sep 19 05:08:16 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-16-203790000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-16-203790000-PDT.html [nogin] _ Removed _using the util/clean_opens script_ approx. 2400 unneeded _open__ Mon Sep 19 05:08:21 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-21-207015000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-21-207015000-PDT.html [n8gray] Finished fixing type inference for arrays._ Mon Sep 19 05:08:42 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-42-319713000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-42-319713000-PDT.html [n8gray] Don_t need to do any matching when inferring the type of an Integer literal._ Mon Sep 19 05:08:42 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-42-740633000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-42-740633000-PDT.html [nogin] Removing a few more unused _open_ statements._ Mon Sep 19 05:08:56 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-56-863501000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-56-863501000-PDT.html [n8gray] Trivial change._ Mon Sep 19 05:08:59 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-59-553264000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2003-08/2005-09-19-05-08-59-553264000-PDT.html