CVS: sml-dist/src/compiler/Elaborator/modules sigmatch.sml, 1.6.8.4, 1.6.8.5

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

Modified Files:
      Tag: primop-branch-2
	sigmatch.sml 
Log Message:
hacking on sigmatch.sml - primops and type instantiation

Index: sigmatch.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/modules/sigmatch.sml,v
retrieving revision 1.6.8.4
retrieving revision 1.6.8.5
diff -C2 -d -r1.6.8.4 -r1.6.8.5
*** sigmatch.sml	20 Jun 2006 22:15:23 -0000	1.6.8.4
--- sigmatch.sml	5 Jul 2006 21:31:22 -0000	1.6.8.5
***************
*** 205,208 ****
--- 205,210 ----
    end
  *)
+ 
+ (* dbm: obsolete!
  fun eqvTnspTy (spec, actual, dinfo) : (ty list * tyvar list) = 
    let val actual = TU.prune actual
***************
*** 249,253 ****
     in (insttys, btvs)
[...1453 lines suppressed...]
!                     val dinfo = II.List (map MU.extractInfo bindings)
!                 in M.STR {sign=specSig, rlzn=strEnt, access=dacc,
!                           info=dinfo}
!                 end
  
!               val resDec = 
!                 let val body = A.LETstr(A.SEQdec absDecs, A.STRstr bindings)
!                  in A.STRdec [A.STRB{name=strName, str=resStr, def=body}]
!                 end
  
!               val resExp = M.STRUCTURE{stamp = GETSTAMP(M.VARstr(rev epath)),
!                                        entDec = SEQdec(entDecs)}
  
!               val _ = debugmsg "<<matchIt"
!            in (resDec, resStr, resExp) 
!           end
!         else (A.SEQdec[],ERRORstr,M.CONSTstr(M.bogusStrEntity))
!     end
  
  in 


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