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

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

Modified Files:
      Tag: primop-branch-2
	absyn.sig absyn.sml 
Log Message:
Propagating VARexp, CONpat, CONexp type change to ?? * ty option change

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