CVS: sml-dist/src/compiler/DebugProf/types reconstruct.sml, 1.3.4.2, 1.3.4.3

Update of /cvsroot/smlnj/sml-dist/src/compiler/DebugProf/types
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv26115/src/compiler/DebugProf/types

Modified Files:
      Tag: primop-branch-2
	reconstruct.sml 
Log Message:
Use strPrimInfo instead of strPrimElem

Index: reconstruct.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/DebugProf/types/reconstruct.sml,v
retrieving revision 1.3.4.2
retrieving revision 1.3.4.3
diff -C2 -d -r1.3.4.2 -r1.3.4.3
*** reconstruct.sml	10 Jul 2006 14:22:34 -0000	1.3.4.2
--- reconstruct.sml	11 Jul 2006 15:35:49 -0000	1.3.4.3
***************
*** 15,26 ****
    | reduceType ty = headReduceType ty
  
! fun expType(VARexp(ref(VALvar{typ=ref ty,...}),insttys)) =
       (case ty
! 	  of POLYty{tyfun,...} => TU.applyTyfun(tyfun,insttys)
  	   | _ => ty)
    | expType(VARexp _) = bug "varexp"
!   | expType(CONexp(DATACON{typ,...},insttys)) =
       (case typ
! 	  of POLYty{tyfun,...} => TU.applyTyfun(tyfun,insttys)
  	   | _ => typ)
    | expType(INTexp (_, t)) = t
--- 15,26 ----
    | reduceType ty = headReduceType ty
  
! fun expType(VARexp(ref(VALvar{typ=ref ty,...}),insttvs)) =
       (case ty
! 	  of POLYty{tyfun,...} => TU.applyTyfun(tyfun,map VARty insttvs)
  	   | _ => ty)
    | expType(VARexp _) = bug "varexp"
!   | expType(CONexp(DATACON{typ,...},insttvs)) =
       (case typ
! 	  of POLYty{tyfun,...} => TU.applyTyfun(tyfun,map VARty insttvs)
  	   | _ => typ)
    | expType(INTexp (_, t)) = t



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