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 2492, Fri May 4 03:39:10 2007 UTC revision 3648, Fri Jan 6 19:55:25 2012 UTC
# Line 19  Line 19 
19    
20  datatype exp  datatype exp
21    = VARexp of var ref * tyvar list    = VARexp of var ref * tyvar list
22      (* the 2nd arg is a type mv list used to capture the instantiation      (* the 2nd arg is a type univar list used to capture the instantiation
23         parameters for this occurence of var when its type is polymorphic.         parameters for this occurence of var when its type is polymorphic.
24         FLINT will use these to provide explicit type parameters for         FLINT will use these to provide explicit type parameters for
25         var if var is bound to a primop. *)         var if var is bound to a primop. These will then be used to specialize
26           the primop. *)
27    | CONexp of datacon * tyvar list (* ditto *)    | CONexp of datacon * tyvar list (* ditto *)
28    | INTexp of IntInf.int * ty    | INTexp of IntInf.int * ty
29    | WORDexp of IntInf.int * ty    | WORDexp of IntInf.int * ty
# Line 64  Line 65 
65    | LAYEREDpat of pat * pat    | LAYEREDpat of pat * pat
66    | ORpat of pat * pat    | ORpat of pat * pat
67    | VECTORpat of pat list * ty    | VECTORpat of pat list * ty
68      | MARKpat of pat * region
69    | NOpat    | NOpat
70    
71  and dec  and dec
72    = VALdec of vb list                  (* always a single element list *)    = VALdec of vb list        (* always a single element list (FLINT normalization) *)
73    | VALRECdec of rvb list    | VALRECdec of rvb list
74    | TYPEdec of tycon list    | TYPEdec of tycon list
75    | DATATYPEdec of {datatycs: tycon list, withtycs: tycon list}    | DATATYPEdec of {datatycs: tycon list, withtycs: tycon list}

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

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