CVS: sml-dist notes,NONE,1.1.2.1

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

Added Files:
      Tag: primop-branch-2
	notes 
Log Message:
added notes file for primop-branch-2 branch

--- NEW FILE: notes ---
Questions:

1. Where have wordTycon and wordTy gone?
In primop, they were defined in ElabData/types/core-basictypes.sml.
Now they are in Elaborator/types/basictypes.s??

1.1. What is the reason for the split of basic type building between
core-basictypes (in ElabData/types) and basictypes (in
Elaborator/types)?

2. What is the purpose of the ty lists in VARexp and CONexp
constructors of exp in ElabData/syntax/absyn.s??
Should be able to replace list of metavariables by (instantiated)
variable type.
Files affected:
 ElabData/syntax/absyn.s??  [done]
 Elaborator/types/typecheck.sml [done]
 Elaborator/modules/sigmatch.sml [?]
 FLINT/trans/translate.sml [?]

3. Question in comment on generalizePat in Elaborator/types/typecheck.sml.

4. Why do CONpats (see CONpat case of patType in typecheck.sml) need
the "insts" value?  What do they have to do with primops?