CVS: sml-dist/src/compiler/Elaborator/types typecheck.sml, 1.8.4.1, 1.8.4.2

Update of /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/types
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv24436/src/compiler/Elaborator/types

Modified Files:
      Tag: primop-branch-2
	typecheck.sml 
Log Message:
update of InlInfo

Index: typecheck.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/types/typecheck.sml,v
retrieving revision 1.8.4.1
retrieving revision 1.8.4.2
diff -C2 -d -r1.8.4.1 -r1.8.4.2
*** typecheck.sml	15 Jun 2006 22:28:07 -0000	1.8.4.1
--- typecheck.sml	19 Jun 2006 22:29:00 -0000	1.8.4.2
***************
*** 13,18 ****
  
  (* No longer functorized to factor out dependencies on FLINT (ii2ty, ii_ispure)
!  * Instead, TypesUtil depends directly on InlInfo -- it calls InlInfo.pureInfo to test
!  * for the CAST primop in function isValue. *)
  
  structure Typecheck : TYPECHECK =
--- 13,18 ----
  
  (* No longer functorized to factor out dependencies on FLINT (ii2ty, ii_ispure)
!  * Instead, TypesUtil depends directly on InlInfo -- it calls InlInfo.isPrimCast
!  * to test for the CAST primop in function isValue. *)
  
  structure Typecheck : TYPECHECK =