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

SCM Repository

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

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

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

revision 3451, Sat Nov 21 21:11:21 2015 UTC revision 3452, Sat Nov 21 23:59:35 2015 UTC
# Line 81  Line 81 
81        | E_Lit of Literal.t        | E_Lit of Literal.t
82        | E_Apply of var * var list * ty                          (* user-defined function *)        | E_Apply of var * var list * ty                          (* user-defined function *)
83        | E_Prim of AST.var * meta_arg list * var list * ty       (* Diderot builtin *)        | E_Prim of AST.var * meta_arg list * var list * ty       (* Diderot builtin *)
84        | E_Cons of var list * ty        | E_Tensor of var list * ty
85        | E_Seq of var list * ty                                  (* sequence (ty is result type) *)        | E_Seq of var list * ty                                  (* sequence (ty is result type) *)
86        | E_Slice of var * var option list * ty                   (* tensor slicing (ty is result type) *)        | E_Slice of var * var option list * ty                   (* tensor slicing (ty is result type) *)
87        | E_Coerce of {srcTy : ty, dstTy : ty, x : var}        | E_Coerce of {srcTy : ty, dstTy : ty, x : var}
# Line 97  Line 97 
97            (* end case *))            (* end case *))
98        | typeOf (E_Apply(_, _, ty)) = ty        | typeOf (E_Apply(_, _, ty)) = ty
99        | typeOf (E_Prim(_, _, _, ty)) = ty        | typeOf (E_Prim(_, _, _, ty)) = ty
100        | typeOf (E_Cons(_, ty)) = ty        | typeOf (E_Tensor(_, ty)) = ty
101        | typeOf (E_Seq(_, ty)) = ty        | typeOf (E_Seq(_, ty)) = ty
102        | typeOf (E_Slice(_, _, ty)) = ty        | typeOf (E_Slice(_, _, ty)) = ty
103        | typeOf (E_Coerce{dstTy, ...}) = dstTy        | typeOf (E_Coerce{dstTy, ...}) = dstTy

Legend:
Removed from v.3451  
changed lines
  Added in v.3452

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