CVS: sml-dist notes,1.1.2.6,1.1.2.7

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

Modified Files:
      Tag: primop-branch-2
	notes 
Log Message:
added Single Generalization Conjecture

Index: notes
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/Attic/notes,v
retrieving revision 1.1.2.6
retrieving revision 1.1.2.7
diff -C2 -d -r1.1.2.6 -r1.1.2.7
*** notes	21 Jun 2006 21:14:42 -0000	1.1.2.6
--- notes	27 Jun 2006 22:06:28 -0000	1.1.2.7
***************
*** 402,404 ****
  
  2. What is the meaning of the comment after the PrimTypes (re)declaration at
! the top of system/smlnj/init/built-in.sml?
\ No newline at end of file
--- 402,410 ----
  
  2. What is the meaning of the comment after the PrimTypes (re)declaration at
! the top of system/smlnj/init/built-in.sml?
! 
! 3. The Single Generalization Conjecture: Each type metavariable that
! is not instantiated is generalized at a single variable binding. 
! Consequence: the metavariable can be updated with a deBruijn index for
! the corresponding generalized polymorphic variable.  [The code for mkPE
! in translate.sml seems to imply this is not the case.]


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