CVS: sml-dist/src/compiler/FLINT/kernel ltykernel.sml, 1.18.12.2, 1.18.12.3

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

Modified Files:
      Tag: primop-branch-2
	ltykernel.sml 
Log Message:
extended LTyKernel.tc_print to print out TC_ENV

Index: ltykernel.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel/ltykernel.sml,v
retrieving revision 1.18.12.2
retrieving revision 1.18.12.3
diff -C2 -d -r1.18.12.2 -r1.18.12.3
*** ltykernel.sml	26 Jul 2006 18:20:36 -0000	1.18.12.2
--- ltykernel.sml	26 Jul 2006 19:53:25 -0000	1.18.12.3
***************
*** 505,509 ****
        | TC_CONT ts => "Cnt(" ^ (plist(tc_print,ts)) ^ ")"
        | TC_IND _ => "<TC_IND>"
!       | TC_ENV _ => "<TC_ENV>")
       (* function tc_print *)
  
--- 505,511 ----
        | TC_CONT ts => "Cnt(" ^ (plist(tc_print,ts)) ^ ")"
        | TC_IND _ => "<TC_IND>"
!       | TC_ENV (tc, depth, cnt, tycenv) => 
! 	  "TCENV( "^ tc_print tc ^ " depth = " ^ itos depth 
! 	  ^ " cnt = " ^ itos cnt ^ " tycenv = " ^ tc_print tycenv ^")" )
       (* function tc_print *)
  


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