CVS: sml-dist/src/compiler/ElabData/syntax absyn.sml, 1.4.4.3, 1.4.4.4

Update of /cvsroot/smlnj/sml-dist/src/compiler/ElabData/syntax
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv22820/src/compiler/ElabData/syntax

Modified Files:
      Tag: primop-branch-2
	absyn.sml 
Log Message:
revised primopid.sml/sig

Index: absyn.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/ElabData/syntax/absyn.sml,v
retrieving revision 1.4.4.3
retrieving revision 1.4.4.4
diff -C2 -d -r1.4.4.3 -r1.4.4.4
*** absyn.sml	6 Jul 2006 15:00:39 -0000	1.4.4.3
--- absyn.sml	6 Jul 2006 20:10:33 -0000	1.4.4.4
***************
*** 19,23 ****
  
  datatype exp
!   = VARexp of var ref * ty list (* a mv list for FLINT type app parameters *)
    | CONexp of datacon * ty list (* ditto *)
    | INTexp of IntInf.int * ty
--- 19,27 ----
  
  datatype exp
!   = VARexp of var ref * ty list
!     (* the 2nd arg is a type mv list used to capture the instantiation
!        parameters for this occurence of var when its type is polymorphic.
!        FLINT will use these to provide explicit type parameters for
!        var if var is bound to a primop. *)
    | CONexp of datacon * ty list (* ditto *)
    | INTexp of IntInf.int * ty


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