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

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

Modified Files:
      Tag: primop-branch-2
	absyn.sig absyn.sml 
Log Message:
added notes file for primop-branch-2 branch

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