CVS: sml-dist notes,1.1.2.3,1.1.2.4

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

Modified Files:
      Tag: primop-branch-2
	notes 
Log Message:
Propagating VARexp, CONpat, CONexp type change to ?? * ty option change

Index: notes
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/Attic/notes,v
retrieving revision 1.1.2.3
retrieving revision 1.1.2.4
diff -C2 -d -r1.1.2.3 -r1.1.2.4
*** notes	19 Jun 2006 22:28:59 -0000	1.1.2.3
--- notes	20 Jun 2006 01:27:59 -0000	1.1.2.4
***************
*** 48,51 ****
--- 48,63 ----
  the PrimTypes module -- presumably we could fix this by adding them as
  additional primite types. Examples are probably array and vector tycons.
+ notes
+ 
+ 7. InlInfo datatype ii/selectors and utility functions
+ Why is the module ElabData/Basics/II (which defines the datatype ii
+ and selectors) separate from module Semant/Basics/InlInfo (which
+ defines utility functions and on the datatype ii)? 
+ 
+ Functions in InlInfo appear to be used only in the TopLevel profiling 
+ hooks. The remaining use is in the ElabData/types/TypesUtil.isValue
+ function. Unfortunately, there is some funny business going on in that
+ the functions in InlInfo require the PrimOp module which is not
+ available in ElabData/types/TypesUtil.
  
  
***************
*** 326,327 ****
--- 338,340 ----
     bin changed (e.g. pureInfo => isPrimCast). ii2ty has been added with
     new name primopTy.]
+