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

David MacQueen <[email protected]> Tue, 11 Jul 2006 16:00:43 -0700
Newsgroups gmane.comp.lang.sml.smlnj.commits
Message-ID <[email protected]>
Update of /cvsroot/smlnj/sml-dist/src/compiler/ElabData/syntax
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv3556/ElabData/syntax

Modified Files:
      Tag: primop-branch-2
	absyn.sig absyn.sml 
Log Message:
further primop hacking -- getting close to compile

Index: absyn.sig
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/ElabData/syntax/absyn.sig,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.sig	11 Jul 2006 15:10:14 -0000	1.4.4.4
--- absyn.sig	11 Jul 2006 23:00:41 -0000	1.4.4.5
***************
*** 49,53 ****
    | RECORDpat of {fields : (Types.label * pat) list, 
                    flex : bool, typ : Types.ty ref}
!   | APPpat of VarCon.datacon * Types.ty list * pat
    | CONSTRAINTpat of pat * Types.ty
    | LAYEREDpat of pat * pat
--- 49,53 ----
    | RECORDpat of {fields : (Types.label * pat) list, 
                    flex : bool, typ : Types.ty ref}
!   | APPpat of VarCon.datacon * Types.tyvar list * pat
    | CONSTRAINTpat of pat * Types.ty
    | LAYEREDpat of pat * pat

Index: absyn.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/ElabData/syntax/absyn.sml,v
retrieving revision 1.4.4.5
retrieving revision 1.4.4.6
diff -C2 -d -r1.4.4.5 -r1.4.4.6
*** absyn.sml	11 Jul 2006 15:10:15 -0000	1.4.4.5
--- absyn.sml	11 Jul 2006 23:00:41 -0000	1.4.4.6
***************
*** 60,64 ****
    | 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
    | CONSTRAINTpat of pat * ty
    | LAYEREDpat of pat * pat
--- 60,64 ----
    | CONpat of datacon * tyvar list (* See comment for VARexp *)
    | RECORDpat of {fields: (label * pat) list, flex: bool, typ: ty ref}
!   | APPpat of datacon * tyvar list * pat
    | CONSTRAINTpat of pat * ty
    | LAYEREDpat of pat * 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