CVS: sml-dist/src/compiler/ElabData/modules moduleutil.sml, 1.2.20.10, 1.2.20.11

Update of /cvsroot/smlnj/sml-dist/src/compiler/ElabData/modules
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv1834/src/compiler/ElabData/modules

Modified Files:
      Tag: primop-branch-2
	moduleutil.sml 
Log Message:
typesutil, moduleutils, and translate...debugging output now checks debugging flag...more debugging for flintnm/ltykernel

Index: moduleutil.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/ElabData/modules/moduleutil.sml,v
retrieving revision 1.2.20.10
retrieving revision 1.2.20.11
diff -C2 -d -r1.2.20.10 -r1.2.20.11
*** moduleutil.sml	24 Jul 2006 23:08:58 -0000	1.2.20.10
--- moduleutil.sml	26 Jul 2006 15:21:40 -0000	1.2.20.11
***************
*** 195,200 ****
                     of SIGINFO ep => SIGINFO (entVar::ep)
                      | STRINFO ({entities,...}, dacc, dinfo) => 
! 		      (print ("getStrElem " ^ (Int.toString slot) ^ "\n");
! 		       print ("dacc: " ^ A.prAcc dacc ^ "\n");
  		       PrimOpId.ppStrInfo dinfo;
                        STRINFO(EE.lookStrEnt(entities,entVar), 
--- 195,200 ----
                     of SIGINFO ep => SIGINFO (entVar::ep)
                      | STRINFO ({entities,...}, dacc, dinfo) => 
! 		      (debugmsg (">>getStrElem " ^ (Int.toString slot));
! 		       debugmsg ("dacc: " ^ A.prAcc dacc);
  		       PrimOpId.ppStrInfo dinfo;
                        STRINFO(EE.lookStrEnt(entities,entVar), 
***************
*** 210,214 ****
        (case getSpec(elements, sym)
          of FCTspec{sign=subfsig, entVar, slot} =>
! 	   ( print "### getFctElem\n";
               FCT{sign=subfsig, rlzn=EE.lookFctEnt(entities,entVar),
                   access=A.selAcc(dacc, slot),
--- 210,214 ----
        (case getSpec(elements, sym)
          of FCTspec{sign=subfsig, entVar, slot} =>
! 	   ( debugmsg ">>getFctElem";
               FCT{sign=subfsig, rlzn=EE.lookFctEnt(entities,entVar),
                   access=A.selAcc(dacc, slot),
***************
*** 234,238 ****
  fun mkVal (sym, sp, sign as SIG {elements,...},
  	  sInfo as STRINFO({entities,...}, dacc, dinfo)) : V.value =
!     (print "mkVal\n";
      (case getSpec(elements, sym) of
  	 VALspec{spec,slot} =>
--- 234,238 ----
  fun mkVal (sym, sp, sign as SIG {elements,...},
  	  sInfo as STRINFO({entities,...}, dacc, dinfo)) : V.value =
!     (debugmsg ">>mkVal";
      (case getSpec(elements, sym) of
  	 VALspec{spec,slot} =>
***************
*** 257,261 ****
  
  fun mkStrBase (sym, sign, sInfo) = 
!   let val _ = print "### mkStrBase\n"
        val (newsig, newInfo) = getStrElem (sym, sign, sInfo)
     in case newsig
--- 257,261 ----
  
  fun mkStrBase (sym, sign, sInfo) = 
!   let val _ = debugmsg ">>mkStrBase"
        val (newsig, newInfo) = getStrElem (sym, sign, sInfo)
     in case newsig
***************
*** 269,276 ****
    end
  
! fun mkStr (sym, _, sign, sInfo) = (print "### mkStr\n"; mkStrBase (sym, sign, sInfo))
  
  fun mkStrDef (sym, _, sign, sInfo) = 
!   let val _ = print "### mkStrDef\n"
        val (newsig, newInfo) = getStrElem (sym, sign, sInfo)
     in case newsig
--- 269,276 ----
    end
  
! fun mkStr (sym, _, sign, sInfo) = (debugmsg ">>mkStr"; mkStrBase (sym, sign, sInfo))
  
  fun mkStrDef (sym, _, sign, sInfo) = 
!   let val _ = debugmsg ">>mkStrDef"
        val (newsig, newInfo) = getStrElem (sym, sign, sInfo)
     in case newsig
***************
*** 287,291 ****
  
  fun getPath makeIt (str, SP.SPATH spath, fullsp) =
!   let val _ = print "### getPath\n"
        fun loop([sym], sign, sInfo) = makeIt (sym, fullsp, sign, sInfo)
          | loop(sym::rest, sign, sInfo) = 
--- 287,291 ----
  
  fun getPath makeIt (str, SP.SPATH spath, fullsp) =
!   let val _ = debugmsg ">>getPath"
        fun loop([sym], sign, sInfo) = makeIt (sym, fullsp, sign, sInfo)
          | loop(sym::rest, sign, sInfo) = 
***************
*** 308,312 ****
        getPath mkVal
  val getStrPath : M.Structure * SP.path * SP.path -> M.Structure =
!       (print "### getStrPath\n"; getPath mkStr)
  val getFctPath : M.Structure * SP.path * SP.path -> M.Functor =
        getPath mkFct
--- 308,312 ----
        getPath mkVal
  val getStrPath : M.Structure * SP.path * SP.path -> M.Structure =
!       (debugmsg ">>getStrPath"; getPath mkStr)
  val getFctPath : M.Structure * SP.path * SP.path -> M.Functor =
        getPath mkFct
***************
*** 422,426 ****
  	 let val sinfo = STRINFO(rlzn, dacc, dinfo)
  	     val entities = #entities rlzn
- 	     val _ = print "### getBinding\n"
  	 in
  	     case S.nameSpace sym
--- 422,425 ----
***************
*** 439,443 ****
    | getBinding (sym, STRSIG{sign as SIG _,entPath=ep}) = 
       let val sinfo = SIGINFO(rev ep)
- 	 val _ = print "### getBinding\n"
       in
  	 case S.nameSpace sym
--- 438,441 ----
***************
*** 452,456 ****
  
  fun openStructure (env: SE.staticEnv, str) =
!   let val _ = print "### openStructure\n"
        fun look sym =
  	  getBinding (sym,str) handle Unbound _ => raise SE.Unbound
--- 450,454 ----
  
  fun openStructure (env: SE.staticEnv, str) =
!   let val _ = debugmsg ">>openStructure"
        fun look sym =
  	  getBinding (sym,str) handle Unbound _ => raise SE.Unbound


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