CVS: sml-dist/src/compiler/DebugProf/types reconstruct.sml, 1.3, 1.3.4.1

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

Modified Files:
      Tag: primop-branch-2
	reconstruct.sml 
Log Message:
DebugProf updated to new VARexp, CONexp, CONpat absyn ty option

Index: reconstruct.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/DebugProf/types/reconstruct.sml,v
retrieving revision 1.3
retrieving revision 1.3.4.1
diff -C2 -d -r1.3 -r1.3.4.1
*** reconstruct.sml	8 Nov 2004 23:03:23 -0000	1.3
--- reconstruct.sml	20 Jun 2006 17:09:18 -0000	1.3.4.1
***************
*** 15,27 ****
    | 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
    | expType(WORDexp (_, t)) = t
--- 15,35 ----
    | reduceType ty = headReduceType ty
  
! fun expType(VARexp(ref(VALvar{typ=ref ty,...}),instty)) =
!     let
! 	val insttys = (case instty of NONE => [] | SOME t => [t])
!     in
       (case ty
  	  of POLYty{tyfun,...} => TU.applyTyfun(tyfun,insttys)
  	   | _ => ty)
+     end
    | expType(VARexp _) = bug "varexp"
!   | expType(CONexp(DATACON{typ,...},instty)) =
!     let
! 	val insttys = (case instty of NONE => [] | SOME t => [t])
!     in
       (case typ
  	  of POLYty{tyfun,...} => TU.applyTyfun(tyfun,insttys)
  	   | _ => typ)
+     end
    | expType(INTexp (_, t)) = t
    | expType(WORDexp (_, t)) = t