Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-08-27 10:53:21 -0700 (Mon, 27 Aug 2001)
Revision: 3374
Log message:
Commit of type checking rules for FIR programs.
Unlikely that all programs will type check
properly at this point (some incredibly simple
expressions don't check as I expected they
would), but this is something
to start from and I'm working on cleaning
some things up.