CVS: sml-dist/src/compiler/FLINT/plambda chkplexp.sml, 1.9.10.1, 1.9.10.2

Update of /cvsroot/smlnj/sml-dist/src/compiler/FLINT/plambda
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv1588/src/compiler/FLINT/plambda

Modified Files:
      Tag: primop-branch-2
	chkplexp.sml 
Log Message:
chkplexp compiles

Index: chkplexp.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/plambda/chkplexp.sml,v
retrieving revision 1.9.10.1
retrieving revision 1.9.10.2
diff -C2 -d -r1.9.10.1 -r1.9.10.2
*** chkplexp.sml	18 Aug 2006 22:58:46 -0000	1.9.10.1
--- chkplexp.sml	18 Aug 2006 23:54:34 -0000	1.9.10.2
***************
*** 110,113 ****
--- 110,115 ----
  (* kind checker for ltys *)
  val ltyChk = LT.ltyChkGen ()
+ (* kind checker for tycs *)
+ val tycChk = LT.tkTycGen ()
  
  fun ltAppChk (lt, ts, kenv) : LT.lty = 
***************
*** 123,127 ****
          say (s ^ "  **** Kind conflicting in lexp =====> \n    ");
          case zz of LT.LtyAppChk => say "      exception LtyAppChk raised! \n"
!                  | LT.TkTycChk =>  say "      exception TkTycChk raised! \n"
                   | _ => say "   other weird exception raised! \n";
          say "\n \n"; lePrint le; say "\n For Types: \n";  
--- 125,129 ----
          say (s ^ "  **** Kind conflicting in lexp =====> \n    ");
          case zz of LT.LtyAppChk => say "      exception LtyAppChk raised! \n"
!                  | LT.TkTycChk _ =>  say "      exception TkTycChk raised! \n"
                   | _ => say "   other weird exception raised! \n";
          say "\n \n"; lePrint le; say "\n For Types: \n";  
***************
*** 152,156 ****
               say (s ^ "  **** Applying Non-Arrow Type in lexp =====> \n    ");
               case zz of LtyArrow => say "exception LtyArrow raised. \n"
!                       | LT.tcUnbound => say "exception tcUnbound raised. \n"
                        | _ => say "other weird exceptions raised\n";
               say "\n \n";  lePrint le; say "\n For Types \n";
--- 154,158 ----
               say (s ^ "  **** Applying Non-Arrow Type in lexp =====> \n    ");
               case zz of LtyArrow => say "exception LtyArrow raised. \n"
!                       | LT.TeUnbound => say "exception TeUnbound raised. \n"
                        | _ => say "other weird exceptions raised\n";
               say "\n \n";  lePrint le; say "\n For Types \n";
***************
*** 168,172 ****
               say (s ^ "  **** Rev-Apply Non-Arrow Type in lexp =====> \n    ");
               case zz of LtyArrow => say "exception LtyArrow raised. \n"
!                       | LT.tcUnbound => say "exception tcUnbound raised. \n"
                        | _ => say "other weird exceptions raised\n";
               say "\n \n";  lePrint le; say "\n For Types \n";
--- 170,174 ----
               say (s ^ "  **** Rev-Apply Non-Arrow Type in lexp =====> \n    ");
               case zz of LtyArrow => say "exception LtyArrow raised. \n"
!                       | LT.TeUnbound => say "exception TeUnbound raised. \n"
                        | _ => say "other weird exceptions raised\n";
               say "\n \n";  lePrint le; say "\n For Types \n";
***************
*** 184,188 ****
          say (s ^ "  **** Select from a wrong-type lexp  =====> \n    ");
          case zz of LtySelect => say "exception LtyArrow raised. \n"
!                  | LT.tcUnbound => say "exception tcUnbound raised. \n"
                   | _ => say "other weird exceptions raised\n";
          say "\n \n";  lePrint le; say "\n \n";
--- 186,190 ----
          say (s ^ "  **** Select from a wrong-type lexp  =====> \n    ");
          case zz of LtySelect => say "exception LtyArrow raised. \n"
!                  | LT.TeUnbound => say "exception TeUnbound raised. \n"
                   | _ => say "other weird exceptions raised\n";
          say "\n \n";  lePrint le; say "\n \n";
***************
*** 227,231 ****
            | PRIM(p, t, ts) =>
               (* kind check t and ts *)
!               (ltyChkenv t; map ltyChkenv ts;
                 ltTyApp le "PRIM" (t, ts, kenv))
  
--- 229,233 ----
            | PRIM(p, t, ts) =>
               (* kind check t and ts *)
!               (ltyChkenv t; map (tycChk kenv) ts;
                 ltTyApp le "PRIM" (t, ts, kenv))
  


-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642