[n8gray] This syntax.pho seems to not be used at all. The one in test is used._ Mon Sep 19 06:31:28 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-28-742969000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-28-742969000-PDT.html [] This commit was manufactured by cvs2svn to create branch _shell_begin_._ Mon Sep 19 06:31:29 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-29-740258000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-29-740258000-PDT.html [n8gray] The parser now supports mutual recursion, of the form__ Mon Sep 19 06:31:44 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-44-930407000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-44-930407000-PDT.html [n8gray] First stab at type inference for let rec. This is _really_ complicated and it_ Mon Sep 19 06:31:45 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-45-967628000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-45-967628000-PDT.html [n8gray] Slightly less broken type inference for let rec. Needed to add an equation_ Mon Sep 19 06:31:46 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-46-691231000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-46-691231000-PDT.html [n8gray] A quick commit before trying a new direction with type inference. We now think_ Mon Sep 19 06:31:47 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-47-249299000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-47-249299000-PDT.html [n8gray] Switched AtomTyApply__e_ _e_ty_ _ty_args_ so that _ty_args is a sequent, similar_ Mon Sep 19 06:31:47 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-47-685772000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-47-685772000-PDT.html [n8gray] Argh. I now come really close to correct results but I can_t get the binding_ Mon Sep 19 06:31:48 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-48-354812000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-48-354812000-PDT.html [n8gray] Type inference for recursive functions works now._ Mon Sep 19 06:31:50 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-50-543305000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-50-543305000-PDT.html [n8gray] Implemented type checking for recursive functions. There_s a hack to work_ Mon Sep 19 06:31:51 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-51-210277000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-51-210277000-PDT.html [n8gray] Oops, accidentally commited a bogus version of one file._ Mon Sep 19 06:31:51 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-51-840715000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-51-840715000-PDT.html [n8gray] A fix for type checking of let rec._ Mon Sep 19 06:31:56 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-56-941549000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-56-941549000-PDT.html [nogin] The MMC part of the df_context commit I just made. With this change, I_ Mon Sep 19 06:31:58 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-58-708735000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-58-708735000-PDT.html [jyh] This is a branch to bring metaprl in line with the omake branch._ Mon Sep 19 06:31:59 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-59-198087000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-31-59-198087000-PDT.html [n8gray] Merging letfun branch_ Mon Sep 19 06:32:01 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-32-01-557350000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-32-01-557350000-PDT.html [jyh] Ignore default CVS files in the include path._ Mon Sep 19 06:32:02 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-32-02-769516000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-32-02-769516000-PDT.html [n8gray] Fixed type checking so it_s not quadratic in the number of recursive functions._ Mon Sep 19 06:32:03 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-32-03-305152000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-32-03-305152000-PDT.html [jyh] More .cvsignore changes._ Mon Sep 19 06:32:03 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-32-03-711035000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-32-03-711035000-PDT.html [jyh] More .cvsignore changes._ Mon Sep 19 06:32:06 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-32-06-644897000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-32-06-644897000-PDT.html [jyh] Merged the shell_begin branch._ Mon Sep 19 06:32:07 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-32-07-419244000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-08/2005-09-19-06-32-07-419244000-PDT.html