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.sml
ViewVC logotype

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

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

revision 2491, Thu May 3 22:13:00 2007 UTC revision 2492, Fri May 4 03:39:10 2007 UTC
# Line 18  Line 18 
18  datatype numberedLabel = LABEL of {name: S.symbol, number: int}  datatype numberedLabel = LABEL of {name: S.symbol, number: int}
19    
20  datatype exp  datatype exp
21    = VARexp of var ref * ty list    = VARexp of var ref * tyvar list
22    | CONexp of datacon * ty list      (* the 2nd arg is a type mv list used to capture the instantiation
23           parameters for this occurence of var when its type is polymorphic.
24           FLINT will use these to provide explicit type parameters for
25           var if var is bound to a primop. *)
26      | CONexp of datacon * tyvar list (* ditto *)
27    | INTexp of IntInf.int * ty    | INTexp of IntInf.int * ty
28    | WORDexp of IntInf.int * ty    | WORDexp of IntInf.int * ty
29    | REALexp of string    | REALexp of string
# Line 53  Line 57 
57    | REALpat of string    | REALpat of string
58    | STRINGpat of string    | STRINGpat of string
59    | CHARpat of string    | CHARpat of string
60    | CONpat of datacon * ty list    | CONpat of datacon * tyvar list (* See comment for VARexp *)
61    | RECORDpat of {fields: (label * pat) list, flex: bool, typ: ty ref}    | RECORDpat of {fields: (label * pat) list, flex: bool, typ: ty ref}
62    | APPpat of datacon * ty list * pat    | APPpat of datacon * tyvar list * pat
63    | CONSTRAINTpat of pat * ty    | CONSTRAINTpat of pat * ty
64    | LAYEREDpat of pat * pat    | LAYEREDpat of pat * pat
65    | ORpat of pat * pat    | ORpat of pat * pat

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

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