Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-11-16 21:17:28 -0800 (Fri, 16 Nov 2001)
Revision: 3445
Log message:
- A little clean up for const_elim.
- Term operations for fir_ty.
- Don't use cons to build this theory. I make no guarentees about
cons correctly being able to navigate dependencies and namespace
related conflicts, yet.
- The Makefile now includes meta-prl/mc/fir/..., so make may not work
either unless you have the Mojave compiler source tree set up appropriately.
- In short, this code is in a state of flux. I will get it to cleanly
compile eventually.