Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-07-08 00:25:35 -0700 (Thu, 08 Jul 2004)
Revision: 6042
Log message:

      Changed Apply so that the list of type arguments is a sequent.  For example:
      .   Apply{ 'f; 'args; sequent{ <H> >- }
      
      Note that there is no conclusion to the sequent.  This is one way of
      distinguishing type lists from other kinds of sequents.
      
      This change allows us to clear out a lot of ugly code, including the ListOfHyps
      hack and some really gnarly stuff for type checking Apply expressions.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-08 16:21:25 -0700 (Thu, 08 Jul 2004)
Revision: 6044
Log message:

      - Finished one more proof in Core CPS.
      - We forgot to remove .prla when we killed the core_name
      

Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-07-08 16:38:18 -0700 (Thu, 08 Jul 2004)
Revision: 6045
Log message:

      Fixing file overlooked in Apply changes.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-08 17:20:56 -0700 (Thu, 08 Jul 2004)
Revision: 6046
Log message:

      A stab at implemesting a testing framework for mmc (in a form of a
      "mmc_tests" target for omake).
      
      Currently running "omake mmc_tests" does not get too far since the frontC
      is nto defined on AtomTyApply.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-09 19:04:05 -0700 (Fri, 09 Jul 2004)
Revision: 6051
Log message:

      - Commenting out the frontT stage as it does not work yet.
      
      - CPS part of the recent Apply changes was broken - fixed (or rather - hacked
      around :-( ).
      
      - Minor updates towards getting a real test suite.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-10 00:20:54 -0700 (Sat, 10 Jul 2004)
Revision: 6054
Log message:

      - Use "-batch" in the mmc "compiler" shell script.
      
      - Adding the current sad state of affairs to mmc_tests_out.previous (see
      http://cvs.metaprl.org:12000/cvsweb/~checkout~/mmc/test/mmc_tests_out.previous ).
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-10 00:25:12 -0700 (Sat, 10 Jul 2004)
Revision: 6055
Log message:

      Do not include terminfo ESC-sequences in the tests output.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-10 12:37:39 -0700 (Sat, 10 Jul 2004)
Revision: 6056
Log message:

      When hoisting is impossible (because the outer term binds variables that are free
      in the inner one), then skip it instead of dying.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-10 13:21:34 -0700 (Sat, 10 Jul 2004)
Revision: 6057
Log message:

      Closure still wasn't apdated for the new Apply syntax.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-10 13:29:54 -0700 (Sat, 10 Jul 2004)
Revision: 6058
Log message:

      StrictList naming should consider integer and boolean constants to be strict.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-10 18:13:28 -0700 (Sat, 10 Jul 2004)
Revision: 6059
Log message:

      - For degugging purposes, type check after every stage in coreT.
      - Fixed an ApplyTag-related bug in CPS.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-12 15:56:25 -0700 (Mon, 12 Jul 2004)
Revision: 6061
Log message:

      Fixing bug 262 - the type-checking rules should not insist on using the
      TyFun["std"] everywhere.
      

Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-07-12 17:33:28 -0700 (Mon, 12 Jul 2004)
Revision: 6062
Log message:

      Fixed a bug with recursive lambdas.  (Incomplete Apply fix again.)
      
      It looks like the direct call optimizations are having problems now.  There are
      Mmc_opt_direct_fix!DirectCall{} terms that are not getting eliminated.  We tried
      the obvious fix (eliminate anything that doesn't match a previous rule) but hit
      other problems.
      
      Jason, can you take a look?
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-13 17:45:29 -0700 (Tue, 13 Jul 2004)
Revision: 6073
Log message:

      For now, hardcode "addrC [0; 0]" into the hoisting code (to account
      for "compilable{Constrain{'e; 'ty}}". Marked it with an "XXX: HACK:"
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-13 17:59:19 -0700 (Tue, 13 Jul 2004)
Revision: 6074
Log message:

      - For some reason codegen expected the body of the main function to have the
      form
        Apply{...; nil; (t1 >- )}
      which is obviously ill-typed (0 args, 1 arg type).
      
      - Also, the codegen rule was interactive for some reason.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-14 18:59:46 -0700 (Wed, 14 Jul 2004)
Revision: 6085
Log message:

      Removed the OMake version constrain - the MetaPRL one is strong enough for now.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-14 19:30:39 -0700 (Wed, 14 Jul 2004)
Revision: 6087
Log message:

      MMC Tests require libruntime.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-14 19:53:28 -0700 (Wed, 14 Jul 2004)
Revision: 6089
Log message:

      The "==" ("EQEQ") operator was missing from the precedence tables, causing
      grammar conflicts.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-07-16 12:45:34 -0700 (Fri, 16 Jul 2004)
Revision: 6101
Log message:

      Get MMC to compile on Win32.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-07-16 12:46:38 -0700 (Fri, 16 Jul 2004)
Revision: 6102
Log message:

      Ignore more files.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-07-26 13:04:22 -0700 (Mon, 26 Jul 2004)
Revision: 6107
Log message:

      Removed all -I suffixes from INCLUDES
      

Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-07-29 23:09:53 -0700 (Thu, 29 Jul 2004)
Revision: 6110
Log message:

      Conversion to new sequent syntax.
      

Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-07-30 15:58:52 -0700 (Fri, 30 Jul 2004)
Revision: 6112
Log message:

      Finished (hopefully ;^) conversion to new sequent syntax.
      

Changes by: ( at unknown.email)
Date: 2004-07-30 15:58:52 -0700 (Fri, 30 Jul 2004)
Revision: 6113
Log message:

      This commit was manufactured by cvs2svn to create branch 'letfun'.