CVS: sml-dist/src/compiler/FLINT/plambda chkplexp.sml, 1.9.10.13, 1.9.10.14

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

Modified Files:
      Tag: primop-branch-2
	chkplexp.sml 
Log Message:
debugging -- prim precision conversion types do not match in translate.sml inl_infPrec

Index: chkplexp.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/plambda/chkplexp.sml,v
retrieving revision 1.9.10.13
retrieving revision 1.9.10.14
diff -C2 -d -r1.9.10.13 -r1.9.10.14
*** chkplexp.sml	29 Aug 2006 23:17:47 -0000	1.9.10.13
--- chkplexp.sml	22 Sep 2006 19:07:05 -0000	1.9.10.14
***************
*** 323,327 ****
  		 | LET(v, e1, e2) => 
  		   let val t1 = loop e1
!                        val _ = ltyChkenv "LET definen" t1 
                         val venv' = LT.ltInsert(venv, v, t1, d)
  		       val bodyLty = check (kenv, venv', d) e2
--- 323,327 ----
  		 | LET(v, e1, e2) => 
  		   let val t1 = loop e1
!                        val _ = ltyChkenv "LET definien" t1 
                         val venv' = LT.ltInsert(venv, v, t1, d)
  		       val bodyLty = check (kenv, venv', d) e2


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