CVS: sml-dist/src/compiler/Elaborator/modules sigmatch.sml, 1.6.8.12, 1.6.8.13

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

Modified Files:
      Tag: primop-branch-2
	sigmatch.sml 
Log Message:
hooked up PPPrim and turned off some debugging printouts

Index: sigmatch.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/modules/sigmatch.sml,v
retrieving revision 1.6.8.12
retrieving revision 1.6.8.13
diff -C2 -d -r1.6.8.12 -r1.6.8.13
*** sigmatch.sml	25 Jul 2006 17:02:19 -0000	1.6.8.12
--- sigmatch.sml	6 Aug 2006 06:05:08 -0000	1.6.8.13
***************
*** 105,109 ****
  exception BadBinding
  
! val debugging = ref true(* ElabControl.smdebugging *) (* ref false *)
  val showsigs = ref false
  
--- 105,109 ----
  exception BadBinding
  
! val debugging = ElabControl.smdebugging (* ref false *)
  val showsigs = ref false
  
***************
*** 1239,1247 ****
                (case (EE.look(resEntEnv, ev), EE.look(srcEntEnv, ev))  
                   of (M.STRent resStrRlzn, M.STRent srcStrRlzn) =>
! 		     let val _ = print "packElems\n"
! 			 val srcStr = M.STR{sign=thisSpecsig, rlzn=srcStrRlzn,
! 					    access=DA.selAcc(rootAcc,s),
! 					    prim=PrimOpId.selStrPrimId(rootPrim,s)}
! 
  			 val rpath' = IP.extend(rpath, sym)
  			 val (thinDec, thinStr) = 
--- 1239,1246 ----
                (case (EE.look(resEntEnv, ev), EE.look(srcEntEnv, ev))  
                   of (M.STRent resStrRlzn, M.STRent srcStrRlzn) =>
! 		     let val srcStr = 
! 			     M.STR{sign=thisSpecsig, rlzn=srcStrRlzn,
! 				   access=DA.selAcc(rootAcc,s),
! 				    prim=PrimOpId.selStrPrimId(rootPrim,s)}
  			 val rpath' = IP.extend(rpath, sym)
  			 val (thinDec, thinStr) = 
***************
*** 1268,1273 ****
                (case (EE.look(resEntEnv, ev), EE.look(srcEntEnv, ev))
  		 of (M.FCTent resFctRlzn, M.FCTent srcFctRlzn) =>
! 		     let val _ = print "packElems FCTspec\n"
! 			 val srcFct =
  			     M.FCT {sign=thisSpecsig, rlzn=srcFctRlzn,
  				    access=DA.selAcc(rootAcc,s),
--- 1267,1271 ----
                (case (EE.look(resEntEnv, ev), EE.look(srcEntEnv, ev))
  		 of (M.FCTent resFctRlzn, M.FCTent srcFctRlzn) =>
! 		     let val srcFct =
  			     M.FCT {sign=thisSpecsig, rlzn=srcFctRlzn,
  				    access=DA.selAcc(rootAcc,s),


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