CVS: sml-dist/src/compiler/FLINT/trans translate.sml, 1.33.4.7, 1.33.4.8

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

Modified Files:
      Tag: primop-branch-2
	translate.sml 
Log Message:
primoptypemap added

Index: translate.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/trans/translate.sml,v
retrieving revision 1.33.4.7
retrieving revision 1.33.4.8
diff -C2 -d -r1.33.4.7 -r1.33.4.8
*** translate.sml	13 Jul 2006 18:21:39 -0000	1.33.4.7
--- translate.sml	13 Jul 2006 20:20:48 -0000	1.33.4.8
***************
*** 856,862 ****
                   | _ => TU.applyPoly(!typ, ts)
            val (primop,intrinsicType) =
!               case PrimOpMap.primopMap p
!                of SOME(p,t) => (p,t)
!                 | NONE => bug "mkVE: unrecognized primop name"
            val intrinsicParams =
                (* compute intrinsic instantiation params of intrinsicType *)
--- 856,862 ----
                   | _ => TU.applyPoly(!typ, ts)
            val (primop,intrinsicType) =
!               case (PrimOpMap.primopMap p, PrimOpTypeMap.primopTypeMap p)
!                of (SOME p, SOME t) => (p,t)
!                 | _ => bug "mkVE: unrecognized primop name"
            val intrinsicParams =
                (* compute intrinsic instantiation params of intrinsicType *)
***************
*** 999,1004 ****
              (case prim
                of PrimOpId.Prim name =>
!                   (case PrimOpMap.primopMap name
!                      of SOME(primop,primopty) =>
                          if TU.equalTypeP(!typ,primopty)
                          then LET(v, mkVar(w, d), b)
--- 999,1004 ----
              (case prim
                of PrimOpId.Prim name =>
!                   (case PrimOpTypeMap.primopTypeMap name
!                      of SOME(primopty) =>
                          if TU.equalTypeP(!typ,primopty)
                          then LET(v, mkVar(w, d), b)



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