Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2003-08-17 01:43:15 -0700 (Sun, 17 Aug 2003)
Revision: 4843
Log message:
Here is a compiling version of metaprl which includes the integers and
arithmetics on integers that I and Nathan worked on on Thursday plus
a version of arrays of ints that I came up with on Friday.
Today I created display forms for integers and binops and fixed
a few type inference issues.
There are still problems with both arithmetics and arrays...
Type inference doesn't work as we want it to. I am a bit confused on
what exactly needs to be done to fix it but I will try to look at it
again tomorrow morning.