CVS: sml-dist/src/compiler/Elaborator/print ppmod.sml, 1.3.10.3, 1.3.10.4

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

Modified Files:
      Tag: primop-branch-2
	ppmod.sml 
Log Message:
temporary stand-in for primopid pretty printer

Index: ppmod.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/print/ppmod.sml,v
retrieving revision 1.3.10.3
retrieving revision 1.3.10.4
diff -C2 -d -r1.3.10.3 -r1.3.10.4
*** ppmod.sml	11 Jul 2006 15:35:49 -0000	1.3.10.3
--- ppmod.sml	24 Jul 2006 23:10:26 -0000	1.3.10.4
***************
*** 222,226 ****
      let val {openHVBox, openHOVBox,closeBox,pps,break,newline} = en_pp ppstrm
       in case str
! 	  of M.STR { sign, rlzn as { entities, ... }, ... } =>
  	     (if !internals 
  	      then (openHVBox 2;
--- 222,226 ----
      let val {openHVBox, openHOVBox,closeBox,pps,break,newline} = en_pp ppstrm
       in case str
! 	  of M.STR { sign, rlzn as { entities, ... }, prim, ... } =>
  	     (if !internals 
  	      then (openHVBox 2;
***************
*** 235,238 ****
--- 235,245 ----
  			break {nsp=1,offset=2};
  			ppStrEntity ppstrm (rlzn,env,depth-1);
+ 			newline();
+ 			pps "prim:";
+ 			break {nsp=1,offset=2};
+ 			(* GK: This should be cleaned up soon so as to use a 
+ 			   ppStrInfo that is an actual pretty printer conforming
+ 			   to the pattern of the other pretty printers. *)
+ 			PrimOpId.ppStrInfo prim;
  		       closeBox();
  		      closeBox())
***************
*** 477,481 ****
      end
  
- 
  and ppStrEntity ppstrm (e,env,depth) =
      let val {stamp,entities,properties,rpath,stub} = e
--- 484,487 ----


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