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

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

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


Index: absyn.sig
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/ElabData/syntax/absyn.sig,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.sig	6 Jul 2006 15:00:39 -0000	1.4.4.3
--- absyn.sig	11 Jul 2006 15:10:14 -0000	1.4.4.4
***************
*** 11,16 ****
  
  datatype exp
!   = VARexp of VarCon.var ref * Types.ty list (* instance type *)
!   | CONexp of VarCon.datacon * Types.ty list (* instance type *)
    | INTexp of IntInf.int * Types.ty
    | WORDexp of IntInf.int * Types.ty
--- 11,16 ----
  
  datatype exp
!   = VARexp of VarCon.var ref * Types.tyvar list (* instance type *)
!   | CONexp of VarCon.datacon * Types.tyvar list (* instance type *)
    | INTexp of IntInf.int * Types.ty
    | WORDexp of IntInf.int * Types.ty
***************
*** 46,50 ****
    | STRINGpat of string
    | CHARpat of string
!   | CONpat of VarCon.datacon * Types.ty list (* instance type *)
    | RECORDpat of {fields : (Types.label * pat) list, 
                    flex : bool, typ : Types.ty ref}
--- 46,50 ----
    | STRINGpat of string
    | CHARpat of string
!   | CONpat of VarCon.datacon * Types.tyvar list (* instance type *)
    | RECORDpat of {fields : (Types.label * pat) list, 
                    flex : bool, typ : Types.ty ref}

Index: absyn.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/ElabData/syntax/absyn.sml,v
retrieving revision 1.4.4.4
retrieving revision 1.4.4.5
diff -C2 -d -r1.4.4.4 -r1.4.4.5
*** absyn.sml	6 Jul 2006 20:10:33 -0000	1.4.4.4
--- absyn.sml	11 Jul 2006 15:10:15 -0000	1.4.4.5
***************
*** 19,28 ****
  
  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
    | WORDexp of IntInf.int * ty
--- 19,28 ----
  
  datatype exp
!   = VARexp of var ref * tyvar 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 * tyvar list (* ditto *)
    | INTexp of IntInf.int * ty
    | WORDexp of IntInf.int * ty
***************
*** 58,62 ****
    | STRINGpat of string
    | CHARpat of string
!   | CONpat of datacon * ty list (* See comment for VARexp *)
    | RECORDpat of {fields: (label * pat) list, flex: bool, typ: ty ref}
    | APPpat of datacon * ty list * pat
--- 58,62 ----
    | STRINGpat of string
    | CHARpat of string
!   | CONpat of datacon * tyvar list (* See comment for VARexp *)
    | RECORDpat of {fields: (label * pat) list, flex: bool, typ: ty ref}
    | APPpat of datacon * ty list * pat



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