CVS: sml-dist/src/compiler/FLINT/flint chkflint.sml, 1.15, 1.15.22.1

Update of /cvsroot/smlnj/sml-dist/src/compiler/FLINT/flint
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv7228/src/compiler/FLINT/flint

Modified Files:
      Tag: primop-branch-2
	chkflint.sml 
Log Message:
fixed LtyKernel.tc_eqv for TC_FIX case

Index: chkflint.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/flint/chkflint.sml,v
retrieving revision 1.15
retrieving revision 1.15.22.1
diff -C2 -d -r1.15 -r1.15.22.1
*** chkflint.sml	17 Nov 2000 05:13:42 -0000	1.15
--- chkflint.sml	2 Oct 2006 22:44:29 -0000	1.15.22.1
***************
*** 101,105 ****
            definedLvars := S.add(!definedLvars, lvar)
  
!   val ltEquiv = LT.lt_eqv_x (* should be LT.lt_eqv *)
    val ltTAppChk =
      if !FLINT_Control.checkKinds then LT.lt_inst_chk_gen()
--- 101,105 ----
            definedLvars := S.add(!definedLvars, lvar)
  
!   val ltEquiv = LT.lt_eqv
    val ltTAppChk =
      if !FLINT_Control.checkKinds then LT.lt_inst_chk_gen()


-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys -- and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV