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.
      

Changes  Path
+3 -0 metaprl/theories/mc/Makefile
+34 -43 metaprl/theories/mc/fir_exp.ml
+6 -15 metaprl/theories/mc/fir_exp.mli
+49 -62 metaprl/theories/mc/fir_int.ml
+8 -6 metaprl/theories/mc/fir_int_set.ml
+3 -1 metaprl/theories/mc/fir_int_set.mli
+5 -5 metaprl/theories/mc/fir_state.ml
+1 -1 metaprl/theories/mc/fir_state.mli
+101 -41 metaprl/theories/mc/fir_test.ml
+2 -0 metaprl/theories/mc/fir_test.mli
+2738 -891 metaprl/theories/mc/fir_test.prla
+2 -23 metaprl/theories/mc/fir_ty.ml
+0 -10 metaprl/theories/mc/fir_ty.mli
Added metaprl/theories/mc/fir_type.ml
Properties metaprl/theories/mc/fir_type.ml
Added metaprl/theories/mc/fir_type.mli
Properties metaprl/theories/mc/fir_type.mli
Added metaprl/theories/mc/fir_type.prla
Properties metaprl/theories/mc/fir_type.prla
Added metaprl/theories/mc/fir_type_exp.ml
Properties metaprl/theories/mc/fir_type_exp.ml
Added metaprl/theories/mc/fir_type_exp.mli
Properties metaprl/theories/mc/fir_type_exp.mli
Added metaprl/theories/mc/fir_type_state.ml
Properties metaprl/theories/mc/fir_type_state.ml
Added metaprl/theories/mc/fir_type_state.mli
Properties metaprl/theories/mc/fir_type_state.mli
Added metaprl/theories/mc/fir_type_state.prla
Properties metaprl/theories/mc/fir_type_state.prla