Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-25 00:19:38 -0800 (Tue, 25 Jan 2005)
Revision: 6501
Log message:

      This is my current work for tonight.
      This allows the following rule in mmc_core_type_check.ml to type check,
      but it really isn't clear that this is a good idea.
      
      prim letrec_start {| intro [] |} :
         sequent { <H> >-
               LetFunDecl{| <J> >- LetFunDef{| <K> >- 'e in 'ty_e |} |} } -->
         sequent { <H> >-
               LetFunDecl{| <J> >- LetFunDef{| <K> >- 'e |} |} in 'ty_e }
      

Changes  Path
+13 -8 mpcompiler-branches/opname_classes2/mmc/core/mmc_core_tast.mli
+1 -4 mpcompiler-branches/opname_classes2/mmc/core/mmc_core_type_check.ml