Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-10 18:02:12 -0700 (Sun, 10 Apr 2005)
Revision: 7195
Log message:

      - Added the FSub foundation.
      
      - Added the basic subtyping rules (page 8 of the challenge).
      
      I will re-add most of the removed files once I finish converting them.
      

Changes  Path
+0 -1 mpcompiler/poplmark/pmc/base/Files
+209 -19 mpcompiler/poplmark/pmc/base/pmc_base_grammar.mli
+3 -6 mpcompiler/poplmark/pmc/base/pmc_base_judgment.ml
+21 -30 mpcompiler/poplmark/pmc/base/pmc_base_judgment.mli
Deleted mpcompiler/poplmark/pmc/base/pmc_base_standardize.ml
Deleted mpcompiler/poplmark/pmc/base/pmc_base_standardize.mli
+5 -13 mpcompiler/poplmark/pmc/core/Files
Deleted mpcompiler/poplmark/pmc/core/pmc_core_ast.ml
Deleted mpcompiler/poplmark/pmc/core/pmc_core_ast.mli
Deleted mpcompiler/poplmark/pmc/core/pmc_core_closure.ml
Deleted mpcompiler/poplmark/pmc/core/pmc_core_closure.mli
Deleted mpcompiler/poplmark/pmc/core/pmc_core_cps.ml
Deleted mpcompiler/poplmark/pmc/core/pmc_core_cps.mli
Deleted mpcompiler/poplmark/pmc/core/pmc_core_hoist.ml
Deleted mpcompiler/poplmark/pmc/core/pmc_core_hoist.mli
Deleted mpcompiler/poplmark/pmc/core/pmc_core_mterm.ml
Deleted mpcompiler/poplmark/pmc/core/pmc_core_mterm.mli
Deleted mpcompiler/poplmark/pmc/core/pmc_core_prop.ml
Deleted mpcompiler/poplmark/pmc/core/pmc_core_prop.mli
Deleted mpcompiler/poplmark/pmc/core/pmc_core_sweep.ml
Deleted mpcompiler/poplmark/pmc/core/pmc_core_sweep.mli
Deleted mpcompiler/poplmark/pmc/core/pmc_core_tast.ml
Deleted mpcompiler/poplmark/pmc/core/pmc_core_tast.mli
Deleted mpcompiler/poplmark/pmc/core/pmc_core_theory.ml
Deleted mpcompiler/poplmark/pmc/core/pmc_core_theory.mli
Deleted mpcompiler/poplmark/pmc/core/pmc_core_type_check.ml
Deleted mpcompiler/poplmark/pmc/core/pmc_core_type_check.mli
Deleted mpcompiler/poplmark/pmc/core/pmc_core_type_erase.ml
Deleted mpcompiler/poplmark/pmc/core/pmc_core_type_erase.mli
Deleted mpcompiler/poplmark/pmc/core/pmc_core_type_infer.ml
Deleted mpcompiler/poplmark/pmc/core/pmc_core_type_infer.mli
Deleted mpcompiler/poplmark/pmc/core/pmc_core_util.ml
Deleted mpcompiler/poplmark/pmc/core/pmc_core_util.mli
Added mpcompiler/poplmark/pmc/core/pmc_subtype.ml
Properties mpcompiler/poplmark/pmc/core/pmc_subtype.ml
Added mpcompiler/poplmark/pmc/core/pmc_subtype.mli
Properties mpcompiler/poplmark/pmc/core/pmc_subtype.mli
+2 -17 mpcompiler/poplmark/pmc/main/OMakefile
Deleted mpcompiler/poplmark/pmc/test/pmc_int_test.ml
Deleted mpcompiler/poplmark/pmc/test/pmc_int_test.mli