CVS: sml-dist notes,1.1.2.15,1.1.2.16

Update of /cvsroot/smlnj/sml-dist
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv12356

Modified Files:
      Tag: primop-branch-2
	notes 
Log Message:
adding kind checking to chkplexp.sml

Index: notes
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/Attic/notes,v
retrieving revision 1.1.2.15
retrieving revision 1.1.2.16
diff -C2 -d -r1.1.2.15 -r1.1.2.16
*** notes	18 Aug 2006 14:58:19 -0000	1.1.2.15
--- notes	18 Aug 2006 22:58:46 -0000	1.1.2.16
***************
*** 580,584 ****
  and therefore doesn't seem to convey any useful information.  Was this 
  introduced to make some useful distinction in the future, but this
! distinction was never used or implemented?
  
  11. In ltyextern.sml, the subkinding relation is actually an equality
--- 580,585 ----
  and therefore doesn't seem to convey any useful information.  Was this 
  introduced to make some useful distinction in the future, but this
! distinction was never used or implemented?  Can we get rid of this
! useless flag?
  
  11. In ltyextern.sml, the subkinding relation is actually an equality
***************
*** 589,591 ****
  
  Is there is reason why we are not just using equality for now? Do we 
! really need a subkinding relation?
\ No newline at end of file
--- 590,607 ----
  
  Is there is reason why we are not just using equality for now? Do we 
! really need a subkinding relation?  Or was this complication introduced
! in anticipation of some more refined analysis that never got implemented?
! 
! 12. The kind checker in LtyExternal (tkChkGen) is incomplete, in that
! it does not and cannot properly check closures (Env terms). When kind
! checking an Env(tyc,i,j,tenv) expr, we must type check the tenv as well
! as the body, and we need to extract kind environment info from the tenv
! to use when type checking the body. This means we need to add kind
! specifications to each binder in tenv, so we can translate tenv into
! (a prefix of) a kind environment. We have modified tycEnv to include
! the kind specifications at each binding level, and we have modified the
! kind checker to do a complete check of Env tycs.  The kind checker is
! now defined in kernel/lty.sml (structure Lty) and re-exported from
! LtyExtern.
! 
! 


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