CVS: sml-dist/src/compiler/FLINT/plambda flintnm.sml, 1.17.10.8, 1.17.10.9

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

Modified Files:
      Tag: primop-branch-2
	flintnm.sml 
Log Message:
PPLty complete at least for printing Ltycs

Index: flintnm.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/plambda/flintnm.sml,v
retrieving revision 1.17.10.8
retrieving revision 1.17.10.9
diff -C2 -d -r1.17.10.8 -r1.17.10.9
*** flintnm.sml	28 Jul 2006 22:26:08 -0000	1.17.10.8
--- flintnm.sml	31 Jul 2006 18:07:17 -0000	1.17.10.9
***************
*** 26,30 ****
  val say = Control_Print.say
  
! val debugging = ref true;
  fun debugmsg (msg : string) = 
      if !debugging then (say msg; say "\n") else ()
--- 26,30 ----
  val say = Control_Print.say
  
! val debugging = ref false;
  fun debugmsg (msg : string) = 
      if !debugging then (say msg; say "\n") else ()


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