CVS: sml-dist/src/compiler/FLINT/plambda chkplexp.sml, 1.9.10.4, 1.9.10.5 flintnm.sml, 1.17.10.17, 1.17.10.18

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

Modified Files:
      Tag: primop-branch-2
	chkplexp.sml flintnm.sml 
Log Message:
debugging kind check error

Index: chkplexp.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/plambda/chkplexp.sml,v
retrieving revision 1.9.10.4
retrieving revision 1.9.10.5
diff -C2 -d -r1.9.10.4 -r1.9.10.5
*** chkplexp.sml	22 Aug 2006 22:54:10 -0000	1.9.10.4
--- chkplexp.sml	23 Aug 2006 23:44:17 -0000	1.9.10.5
***************
*** 109,115 ****
  val lt_inst_chk = LT.lt_inst_chk_gen()
  (* kind checker for ltys *)
! val ltyChk = LT.ltyChkGen ()
  (* kind checker for tycs *)
! val tycChk = LT.tkTycGen ()
  
  fun ltAppChk (lt, ts, kenv) : LT.lty = 
--- 109,115 ----
  val lt_inst_chk = LT.lt_inst_chk_gen()
  (* kind checker for ltys *)
! val ltyChk = LtyKindChk.ltKindCheckGen ()
  (* kind checker for tycs *)
! val tycChk = LtyKindChk.tcKindCheckGen ()
  
  fun ltAppChk (lt, ts, kenv) : LT.lty = 
***************
*** 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";  
--- 125,129 ----
          say (s ^ "  **** Kind conflicting in lexp =====> \n    ");
          case zz of LT.LtyAppChk => say "      exception LtyAppChk raised! \n"
!                  | LT.KindChk _ =>  say "      exception KindChk raised! \n"
                   | _ => say "   other weird exception raised! \n";
          say "\n \n"; lePrint le; say "\n For Types: \n";  

Index: flintnm.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/plambda/flintnm.sml,v
retrieving revision 1.17.10.17
retrieving revision 1.17.10.18
diff -C2 -d -r1.17.10.17 -r1.17.10.18
*** flintnm.sml	22 Aug 2006 22:54:10 -0000	1.17.10.17
--- flintnm.sml	23 Aug 2006 23:44:17 -0000	1.17.10.18
***************
*** 28,32 ****
  val say = Control_Print.say
  
! val debugging = ref true
  val debugging2 = ref false
  
--- 28,32 ----
  val say = Control_Print.say
  
! val debugging = ref false
  val debugging2 = ref false
  
***************
*** 452,456 ****
  (*
   * tolvar: same as tovalue except that it binds the value of the PLambda
!  * to the indicated lvar and passes just the type to the continutation
   *)
  and tolvar (venv,d,lvar,lexp,cont) =
--- 452,456 ----
  (*
   * tolvar: same as tovalue except that it binds the value of the PLambda
!  * to the indicated lvar and passes just the type to the continuation
   *)
  and tolvar (venv,d,lvar,lexp,cont) =
***************
*** 701,705 ****
        | _ => default_tolexp ()
      in (debugmsg "<<tolvar"; r)
!     end
  
  fun norm (lexp as L.FN(arg_lv,arg_lty,e)) =
--- 701,705 ----
        | _ => default_tolexp ()
      in (debugmsg "<<tolvar"; r)
!     end (* function tolvar *)
  
  fun norm (lexp as L.FN(arg_lv,arg_lty,e)) =


-------------------------------------------------------------------------
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