CVS: sml-dist notes,1.1.2.16,1.1.2.17

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

Modified Files:
      Tag: primop-branch-2
	notes 
Log Message:
debugging plambda type checking

Index: notes
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/Attic/notes,v
retrieving revision 1.1.2.16
retrieving revision 1.1.2.17
diff -C2 -d -r1.1.2.16 -r1.1.2.17
*** notes	18 Aug 2006 22:58:46 -0000	1.1.2.16
--- notes	21 Aug 2006 23:07:04 -0000	1.1.2.17
***************
*** 606,607 ****
--- 606,627 ----
  
  
+ 
+ 
+ ======================================================================
+ Invariants for tyc and lty equivalence (and type normalization)
+ 
+ * TC_IND tycs will never have normal flag true, similarly for LT_IND ltys
+ and LT_TYC(TC_IND _) ltys.  Conversely, if the normal flag is true, the
+ body should not be an IND form.
+ 
+ * tycs returned by tc_lzrd, tc_whnm, and tc_norm with not be of the TC_IND form.
+ Similarly, ltys returned by lt_lzrd, lt_whnm, and lt_norm will not be of the
+ LT_IND or LT_TYC(TC_IND _) forms.
+ 
+ * AUX_REG(true_,_) is computed only by the hashing constructors (*_injX),
+ which detect normal forms when calling tc_mk and lt_mk to compute the
+ aux value for a type term being hashed.
+ 
+ * upd_tyc and upd_lty only operate on non-normal first args
+ (AUX_REG(false,_,_) or NO_AUX), and their result (the updated
+ first argument), retain this property of not having a true normal flag.


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