Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-10-03 10:38:53 -0700 (Sun, 03 Oct 2004)
Revision: 6212
Log message:

      Added <:compile< ... >> for the judgment form.
      
      Let's try to get this branch merged farily soon, so that I can
      start working on the backend.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-10-03 12:36:54 -0700 (Sun, 03 Oct 2004)
Revision: 6213
Log message:

      Minor grammar changes.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-10-04 15:10:35 -0700 (Mon, 04 Oct 2004)
Revision: 6215
Log message:

      Prefix the command with a "+" (bug 300 workaround).
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-10-04 17:44:30 -0700 (Mon, 04 Oct 2004)
Revision: 6216
Log message:

      Use proper redirection.
      

Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-10-04 21:48:04 -0700 (Mon, 04 Oct 2004)
Revision: 6217
Log message:

      Make sure closure doesn't go into an infinite loop.  Note that this is not a
      proper fix -- I just commented out the offending rewrite.  There are also some
      comment fixes in other files.
      

Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-10-06 15:54:28 -0700 (Wed, 06 Oct 2004)
Revision: 6219
Log message:

      I think this fixes closure conversion in the case of anonymous lambdas.  As far
      as I know the front end should work now except for optimizations, but I haven't
      tested extensively.
      
      Note:  Lambdas inside of LetFuns are now tagged "rec", but there is no separate
          TyFun["rec"] or Apply["rec"].  I also changed the old fix extension to use
          the tag "fix" instead of "rec".  Non-recursive lambdas are still tagged
          "std".
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-10-10 22:34:11 -0700 (Sun, 10 Oct 2004)
Revision: 6231
Log message:

      Current state of mmc_tests.
      

Changes by: ( at unknown.email)
Date: 2004-10-10 22:34:11 -0700 (Sun, 10 Oct 2004)
Revision: 6232
Log message:

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

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-10-11 03:10:37 -0700 (Mon, 11 Oct 2004)
Revision: 6233
Log message:

      I've merged the new_parser branch with the trunk. I am putting the result
      of the merge onto a new branch - "new_parser2" as there seems to be a few
      issues with it.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-10-11 03:13:25 -0700 (Mon, 11 Oct 2004)
Revision: 6234
Log message:

      In my previous commit I've accidentally committed the new files onto
      the trunk, removing them from the trunk for now.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-10-11 03:27:47 -0700 (Mon, 11 Oct 2004)
Revision: 6235
Log message:

      Re-adding files properly onto the new_parser2 branch.
      

Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-10-11 16:38:05 -0700 (Mon, 11 Oct 2004)
Revision: 6236
Log message:

      This should fix type checking after closure conversion.  There was no rule for
      LegalLetRecBody{ Lambda["closure"]{| ... |} }.
      
      Also contains a non-working version of direct-call optimization.
      

Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-10-14 19:09:27 -0700 (Thu, 14 Oct 2004)
Revision: 6240
Log message:

      1. Phase 1 of direct call optimization, marking direct calls, seems to work.
      2. Commented out direct call opt for fix.  We can "fix" it later.  :-)
      3. Improved display forms for arrow types.