Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-02-01 00:40:37 -0800 (Sun, 01 Feb 2004)
Revision: 5327
Log message:

      Adding a missing "open" to get it to compile again.
      

Changes by: ( at unknown.email)
Date: 2004-02-05 08:39:21 -0800 (Thu, 05 Feb 2004)
Revision: 5342
Log message:

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

Changes by: ( at unknown.email)
Date: 2004-02-11 23:51:28 -0800 (Wed, 11 Feb 2004)
Revision: 5367
Log message:

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

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-02-14 16:03:38 -0800 (Sat, 14 Feb 2004)
Revision: 5377
Log message:

      Removing unused "open" directives.
      

Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-02-17 15:12:48 -0800 (Tue, 17 Feb 2004)
Revision: 5382
Log message:

      Added a Fix term as an extension to the compiler for recursive functions.
      The compiler doesn't seem to work at this point -- I think type erasure is not
      working correctly.
      

Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-02-20 17:18:12 -0800 (Fri, 20 Feb 2004)
Revision: 5394
Log message:

      Type inference was failing because type erasure wasn't implemented for all
      terms.  Now type inference works for all test cases that it can be expected to
      work for.
      
      Next, I'll change Fix to reflect our Wednesday meeting.  I'll also try to get
      partial application working -- it's not supported at the moment.
      

Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-02-20 18:08:06 -0800 (Fri, 20 Feb 2004)
Revision: 5395
Log message:

      Naming and Type Inference work for most tests.
      

Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-02-20 18:35:37 -0800 (Fri, 20 Feb 2004)
Revision: 5397
Log message:

      Oops, I should have committed my changes before adding test cases.  This is the
      version of MetaPRL used to generate the prla from my last commit.  This also
      includes more test cases.
      

Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-02-27 11:58:24 -0800 (Fri, 27 Feb 2004)
Revision: 5420
Log message:

      Fixed a bug in type checking of applications.