CVS: sml-dist/src/compiler/FLINT/plambda chkplexp.sml, 1.9.10.5, 1.9.10.6

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

Modified Files:
      Tag: primop-branch-2
	chkplexp.sml 
Log Message:
chkplexp now exports checkLty and checkLtyTop taking and not taking an ltyEnv respectively

Index: chkplexp.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/plambda/chkplexp.sml,v
retrieving revision 1.9.10.5
retrieving revision 1.9.10.6
diff -C2 -d -r1.9.10.5 -r1.9.10.6
*** chkplexp.sml	23 Aug 2006 23:44:17 -0000	1.9.10.5
--- chkplexp.sml	24 Aug 2006 17:45:03 -0000	1.9.10.6
***************
*** 5,9 ****
  sig 
  
! val checkLty : PLambda.lexp * int -> bool
  val newlam_ref : PLambda.lexp ref
  val fname_ref : string ref
--- 5,10 ----
  sig 
  
! val checkLtyTop : PLambda.lexp * int -> bool
! val checkLty : PLambda.lexp * PLambdaType.ltyEnv * int -> bool
  val newlam_ref : PLambda.lexp ref
  val fname_ref : string ref
***************
*** 78,82 ****
   *           MAIN FUNCTION --- val checkLty : PLambda.lexp -> bool          *
   ****************************************************************************)
! fun checkLty (lexp, phase) = 
  let 
  
--- 79,83 ----
   *           MAIN FUNCTION --- val checkLty : PLambda.lexp -> bool          *
   ****************************************************************************)
! fun checkLty (lexp, venv : LT.ltyEnv, phase) = 
  let 
  
***************
*** 370,376 ****
  in 
  anyerror := false;
! check (LT.initTkEnv, LT.initLtyEnv, DI.top) lexp; !anyerror
  end (* end of function checkLty *)
  
  end (* toplevel local *)
  end (* structure CheckLty *)
--- 371,379 ----
  in 
  anyerror := false;
! check (LT.initTkEnv, venv, DI.top) lexp; !anyerror
  end (* end of function checkLty *)
  
+ fun checkLtyTop(lexp, phase) = checkLty(lexp, LT.initLtyEnv, phase)
+ 
  end (* toplevel local *)
  end (* structure CheckLty *)


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