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/trunk/compiler/ElabData/syntax/absyn.sig
ViewVC logotype

Diff of /sml/trunk/compiler/ElabData/syntax/absyn.sig

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

revision 2162, Thu Nov 2 21:20:47 2006 UTC revision 2492, Fri May 4 03:39:10 2007 UTC
# Line 10  Line 10 
10  datatype numberedLabel = LABEL of {name: Symbol.symbol, number: int}  datatype numberedLabel = LABEL of {name: Symbol.symbol, number: int}
11    
12  datatype exp  datatype exp
13    = VARexp of VarCon.var ref * Types.ty list    = VARexp of VarCon.var ref * Types.tyvar list (* instance type *)
14    | CONexp of VarCon.datacon * Types.ty list    | CONexp of VarCon.datacon * Types.tyvar list (* 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 45  Line 45 
45    | REALpat of string    | REALpat of string
46    | STRINGpat of string    | STRINGpat of string
47    | CHARpat of string    | CHARpat of string
48    | CONpat of VarCon.datacon * Types.ty list    | CONpat of VarCon.datacon * Types.tyvar list (* instance type *)
49    | RECORDpat of {fields : (Types.label * pat) list,    | RECORDpat of {fields : (Types.label * pat) list,
50                    flex : bool, typ : Types.ty ref}                    flex : bool, typ : Types.ty ref}
51    | APPpat of VarCon.datacon * Types.ty list * pat    | APPpat of VarCon.datacon * Types.tyvar list * pat
52    | CONSTRAINTpat of pat * Types.ty    | CONSTRAINTpat of pat * Types.ty
53    | LAYEREDpat of pat * pat    | LAYEREDpat of pat * pat
54    | ORpat of pat * pat    | ORpat of pat * pat

Legend:
Removed from v.2162  
changed lines
  Added in v.2492

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