CVS: sml-dist/src/compiler/FLINT/trans translate.sml, 1.33.4.28, 1.33.4.29 transtypes.sml, 1.5.10.12, 1.5.10.13

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

Modified Files:
      Tag: primop-branch-2
	translate.sml transtypes.sml 
Log Message:
various debugging changes

Index: translate.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/trans/translate.sml,v
retrieving revision 1.33.4.28
retrieving revision 1.33.4.29
diff -C2 -d -r1.33.4.28 -r1.33.4.29
*** translate.sml	29 Aug 2006 17:37:39 -0000	1.33.4.28
--- translate.sml	29 Aug 2006 23:17:47 -0000	1.33.4.29
***************
*** 50,54 ****
   ****************************************************************************)
  
! val debugging = ref true
  fun bug msg = EM.impossible("Translate: " ^ msg)
  val say = Control.Print.say
--- 50,54 ----
   ****************************************************************************)
  
! val debugging = ref false
  fun bug msg = EM.impossible("Translate: " ^ msg)
  val say = Control.Print.say

Index: transtypes.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/trans/transtypes.sml,v
retrieving revision 1.5.10.12
retrieving revision 1.5.10.13
diff -C2 -d -r1.5.10.12 -r1.5.10.13
*** transtypes.sml	28 Aug 2006 22:57:54 -0000	1.5.10.12
--- transtypes.sml	29 Aug 2006 23:17:47 -0000	1.5.10.13
***************
*** 38,42 ****
  fun bug msg = ErrorMsg.impossible ("TransTypes: " ^ msg)
  val say = Control.Print.say 
! val debugging = ref true (* Control.CG.tmdebugging *)
  fun debugmsg (msg: string) =
    if !debugging then (say msg; say "\n") else ()
--- 38,42 ----
  fun bug msg = ErrorMsg.impossible ("TransTypes: " ^ msg)
  val say = Control.Print.say 
! val debugging = Control.CG.tmdebugging
  fun debugmsg (msg: string) =
    if !debugging then (say msg; say "\n") else ()
***************
*** 269,276 ****
        and h (INSTANTIATED t) = g t
          | h (TV_MARK(depth,num)) =
! (*            let val (depth, num) = findLBOUND m
!             in *)
!                 LT.tcc_var(DI.calc(d, depth), num)
! (*            end *)
          | h (UBOUND _) = (print "#### toTyc UBOUND!\n"; LT.tcc_void)
              (* dbm: should this have been converted to a TV_MARK before
--- 269,273 ----
        and h (INSTANTIATED t) = g t
          | h (TV_MARK(depth,num)) =
!              LT.tcc_var(DI.calc(d, depth), num)
          | h (UBOUND _) = (print "#### toTyc UBOUND!\n"; LT.tcc_void)
              (* dbm: should this have been converted to a TV_MARK before


-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642