Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-08-01 15:14:25 -0700 (Mon, 01 Aug 2005)
Revision: 1282
Log message:

      This is a highly experimental attempt to strengthen static information.
      

Changes	Path
+4 -0	omake-branches/omake_0_9_7_type1/Files
Added	omake-branches/omake_0_9_7_type1/omake_ir_type.ml
Properties	omake-branches/omake_0_9_7_type1/omake_ir_type.ml
Added	omake-branches/omake_0_9_7_type1/omake_ir_type.mli
Properties	omake-branches/omake_0_9_7_type1/omake_ir_type.mli
+96 -91	omake-branches/omake_0_9_7_type1/src/env/omake_env.ml
+1 -1	omake-branches/omake_0_9_7_type1/src/env/omake_env.mli
+21 -17	omake-branches/omake_0_9_7_type1/src/env/omake_ir_ast.ml
+112 -80	omake-branches/omake_0_9_7_type1/src/ir/omake_ir.ml
+144 -41	omake-branches/omake_0_9_7_type1/src/ir/omake_ir_print.ml
+3 -3	omake-branches/omake_0_9_7_type1/src/ir/omake_ir_print.mli