Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-11-02 21:12:57 -0800 (Fri, 02 Nov 2001)
Revision: 3433
Log message:

      - More const_elim rewrites.
      - Changed the type from ty(Raw)Int -> tyEnum{2} on
        the integer boolean comparison expressions.
      

Changes  Path
+126 -10 metaprl/theories/mc/fir_const_elim.ml
+18 -0 metaprl/theories/mc/fir_const_elim.mli
+2213 -1065 metaprl/theories/mc/fir_const_elim.prla
+7 -3 metaprl/theories/mc/fir_deadcode.ml
+2 -1 metaprl/theories/mc/fir_deadcode.mli
+16 -16 metaprl/theories/mc/fir_eval.ml
+1 -1 metaprl/theories/mc/fir_ty.ml