CVS: sml-dist notes,1.1.2.14,1.1.2.15

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

Modified Files:
      Tag: primop-branch-2
	notes 
Log Message:
added TC_ENV checking to kind checker

Index: notes
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/Attic/notes,v
retrieving revision 1.1.2.14
retrieving revision 1.1.2.15
diff -C2 -d -r1.1.2.14 -r1.1.2.15
*** notes	11 Aug 2006 20:42:22 -0000	1.1.2.14
--- notes	18 Aug 2006 14:58:19 -0000	1.1.2.15
***************
*** 582,583 ****
--- 582,591 ----
  distinction was never used or implemented?
  
+ 11. In ltyextern.sml, the subkinding relation is actually an equality
+ relation because there are both rules:
+ 
+ BOX <: MONO
+ MONO <: BOX
+ 
+ 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


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