Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/primop-branch/src/compiler/ElabData/syntax/absyn.sig
ViewVC logotype

Diff of /sml/branches/primop-branch/src/compiler/ElabData/syntax/absyn.sig

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1475, Fri Apr 9 19:05:33 2004 UTC revision 1476, Fri Apr 16 20:51:46 2004 UTC
# Line 11  Line 11 
11    
12  datatype exp  datatype exp
13    = VARexp of VarCon.var ref * Types.ty (* instance type *)    = VARexp of VarCon.var ref * Types.ty (* instance type *)
14    | CONexp of VarCon.datacon * Types.ty list    | CONexp of VarCon.datacon * Types.ty (* instance type *)
15    | INTexp of IntInf.int * Types.ty    | INTexp of IntInf.int * Types.ty
16    | WORDexp of IntInf.int * Types.ty    | WORDexp of IntInf.int * Types.ty
17    | REALexp of string    | REALexp of string
# Line 47  Line 47 
47    | REALpat of string    | REALpat of string
48    | STRINGpat of string    | STRINGpat of string
49    | CHARpat of string    | CHARpat of string
50    | CONpat of VarCon.datacon * Types.ty list    | CONpat of VarCon.datacon * Types.ty (* instance type *)
51    | RECORDpat of {fields : (Types.label * pat) list,    | RECORDpat of {fields : (Types.label * pat) list,
52                    flex : bool, typ : Types.ty ref}                    flex : bool, typ : Types.ty ref}
53    | APPpat of VarCon.datacon * Types.ty list * pat    | APPpat of VarCon.datacon * Types.ty list * pat

Legend:
Removed from v.1475  
changed lines
  Added in v.1476

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0