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

SCM Repository

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

Diff of /branches/vis15/src/compiler/ast/ast.sml

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

revision 3405, Wed Nov 11 14:46:13 2015 UTC revision 3406, Wed Nov 11 15:55:00 2015 UTC
# Line 13  Line 13 
13    
14      structure Ty = Types      structure Ty = Types
15    
16      datatype var = datatype Var.var      type var = Var.t
17    
18      datatype var_kind = datatype Var.var_kind      datatype var_kind = datatype Var.kind
19    
20      datatype program = Program of {      datatype program = Program of {
21          props : StrandUtil.program_prop list,          props : StrandUtil.program_prop list,
# Line 66  Line 66 
66                                                          (* parameters were instantiated. *)                                                          (* parameters were instantiated. *)
67        | E_Comprehension                                 (* sequence comprehension *)        | E_Comprehension                                 (* sequence comprehension *)
68            of expr * (var * expr) list * Ty.ty            of expr * (var * expr) list * Ty.ty
69        | E_Cons of expr list * Ty.ty                     (* tensor-value construction *)        | E_Tensor of expr list * Ty.ty                   (* tensor-value construction *)
70        | E_Seq of expr list * Ty.ty                      (* sequence-value construction (ty is result type) *)        | E_Seq of expr list * Ty.ty                      (* sequence-value construction (ty is result type) *)
71        | E_Slice of expr * expr option list * Ty.ty      (* tensor slicing (ty is result type) *)        | E_Slice of expr * expr option list * Ty.ty      (* tensor slicing (ty is result type) *)
72        | E_Cond of expr * expr * expr * Ty.ty            (* ty is result type *)        | E_Cond of expr * expr * expr * Ty.ty            (* ty is result type *)

Legend:
Removed from v.3405  
changed lines
  Added in v.3406

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