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

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

Modified Files:
      Tag: primop-branch-2
	absyn.sig absyn.sml 
Log Message:
Shifted VARexp, CONexp, CONpat back to carrying ty list (for determining type app parameters in FLINT)

Index: absyn.sig
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/ElabData/syntax/absyn.sig,v
retrieving revision 1.4.4.2
retrieving revision 1.4.4.3
diff -C2 -d -r1.4.4.2 -r1.4.4.3
*** absyn.sig	20 Jun 2006 01:28:00 -0000	1.4.4.2
--- absyn.sig	6 Jul 2006 15:00:39 -0000	1.4.4.3
***************
*** 11,16 ****
  
  datatype exp
!   = VARexp of VarCon.var ref * Types.ty option (* instance type *)
!   | CONexp of VarCon.datacon * Types.ty option (* instance type *)
    | INTexp of IntInf.int * Types.ty
    | WORDexp of IntInf.int * Types.ty
--- 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
***************
*** 46,50 ****
    | STRINGpat of string
    | CHARpat of string
!   | CONpat of VarCon.datacon * Types.ty option (* 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.ty 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.2
retrieving revision 1.4.4.3
diff -C2 -d -r1.4.4.2 -r1.4.4.3
*** absyn.sml	20 Jun 2006 01:28:00 -0000	1.4.4.2
--- absyn.sml	6 Jul 2006 15:00:39 -0000	1.4.4.3
***************
*** 19,24 ****
  
  datatype exp
!   = VARexp of var ref * ty option
!   | CONexp of datacon * ty option
    | INTexp of IntInf.int * ty
    | WORDexp of IntInf.int * ty
--- 19,24 ----
  
  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
    | WORDexp of IntInf.int * ty
***************
*** 54,58 ****
    | STRINGpat of string
    | CHARpat of string
!   | CONpat of datacon * ty option
    | RECORDpat of {fields: (label * pat) list, flex: bool, typ: ty ref}
    | APPpat of datacon * ty list * pat
--- 54,58 ----
    | 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


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