[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