CVS: sml-dist/src/compiler/FLINT/trans translate.sml, 1.33.4.12, 1.33.4.13

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

Modified Files:
      Tag: primop-branch-2
	translate.sml 
Log Message:
debug printout for getStrElem/getFctElem (slot selection on empty strPrimInfo) bug

Index: translate.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/trans/translate.sml,v
retrieving revision 1.33.4.12
retrieving revision 1.33.4.13
diff -C2 -d -r1.33.4.12 -r1.33.4.13
*** translate.sml	18 Jul 2006 02:39:07 -0000	1.33.4.12
--- translate.sml	18 Jul 2006 14:15:36 -0000	1.33.4.13
***************
*** 884,890 ****
  				     PP.newline ppstrm;
  				     PP.string ppstrm "instpoly intrinsicType: ";
! 				     let val inst = (#1 (TU.instantiatePoly intrinsicType))	 
! 				     in PPType.ppType env ppstrm inst 
! 				     end));
  			    bug "primop intrinsic type doesn't match occurrence type")
  	  val _ = print "mkVE: after matchInstTypes\n"
--- 884,888 ----
  				     PP.newline ppstrm;
  				     PP.string ppstrm "instpoly intrinsicType: ";
! 				     PPType.ppType env ppstrm (#1 (TU.instantiatePoly intrinsicType))));
  			    bug "primop intrinsic type doesn't match occurrence type")
  	  val _ = print "mkVE: after matchInstTypes\n"
***************
*** 1439,1444 ****
--- 1437,1444 ----
  val exportLexp = SRECORD (map VAR exportLvars)
  
+ val _ = print "pre-mkDec\n"
  (** translating the ML absyn into the PLambda expression *)
  val body = mkDec (rootdec, DI.top) exportLexp
+ val _ = print "post-mkDec\n"
  
  (** add bindings for intinf constants *)


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