Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /trunk/src/compiler/ast/ast.sml
ViewVC logotype

Diff of /trunk/src/compiler/ast/ast.sml

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

revision 2635, Mon May 26 14:06:39 2014 UTC revision 2636, Tue May 27 16:18:36 2014 UTC
# Line 29  Line 29 
29          ty : Ty.scheme          (* type scheme *)          ty : Ty.scheme          (* type scheme *)
30        }        }
31    
32      datatype program      datatype program = Program of {
33        = Program of decl list          props : StrandUtil.program_prop list,
34            decls : decl list
35          }
36    
37      and decl      and decl
38        = D_Input of var * string option * expr option        = D_Input of var * string option * expr option
# Line 46  Line 48 
48      and strand = Strand of {      and strand = Strand of {
49          name : Atom.atom,          name : Atom.atom,
50          params : var list,          params : var list,
51          state : var_decl list,          (* true marks output variables *)          state : var_decl list,
52          methods : method list          methods : method list
53        }        }
54    
# Line 78  Line 80 
80        | E_Apply of var * Ty.meta_var list * expr list * Ty.ty        | E_Apply of var * Ty.meta_var list * expr list * Ty.ty
81                  (* note: operators can be polymorphic, so we record the meta-variable parameters. *)                  (* note: operators can be polymorphic, so we record the meta-variable parameters. *)
82        | E_Cons of expr list                             (* tensor-value construction *)        | E_Cons of expr list                             (* tensor-value construction *)
83          | E_Seq of expr list                              (* sequence-value construction *)
84        | E_Slice of expr * expr option list * Ty.ty      (* tensor slicing *)        | E_Slice of expr * expr option list * Ty.ty      (* tensor slicing *)
85        | E_Cond of expr * expr * expr * Ty.ty            (* ty is result type *)        | E_Cond of expr * expr * expr * Ty.ty            (* ty is result type *)
86          | E_LoadNrrd of Ty.meta_var list * string * Ty.ty (* image loading *)
87        | E_Coerce of {                                   (* coercion between types *)        | E_Coerce of {                                   (* coercion between types *)
88              srcTy : Ty.ty,              srcTy : Ty.ty,
89              dstTy : Ty.ty,              dstTy : Ty.ty,

Legend:
Removed from v.2635  
changed lines
  Added in v.2636

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