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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/tree-ir/tree-types.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/tree-ir/tree-types.sml

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

revision 3809, Tue May 3 21:27:40 2016 UTC revision 3810, Tue May 3 23:26:44 2016 UTC
# Line 11  Line 11 
11  structure TreeTypes =  structure TreeTypes =
12    struct    struct
13    
14      datatype ty      datatype t
15        = BoolTy | StringTy | IntTy | RealTy        = BoolTy | StringTy | IntTy | RealTy
16        | VecTy of int * bool * int list  (* vectors have a width and a representation that        | VecTy of int * bool * int list  (* vectors have a width and a representation that
17                                           * is spread across hardware-supported vectors.                                           * is spread across hardware-supported vectors.
# Line 20  Line 20 
20  (* QUESTION: perhaps at this point, we should just represent higher-order tensors  (* QUESTION: perhaps at this point, we should just represent higher-order tensors
21   * as SeqTy types?   * as SeqTy types?
22   *)   *)
23        | TensorTy of int * ty            (* type of 2nd-order (or higher) tensor *)        | TensorTy of int * t             (* type of 2nd-order (or higher) tensor *)
24        | TupleTy of ty list              (* tuples; used for multiple return values *)        | TupleTy of t list               (* tuples; used for multiple return values *)
25        | SeqTy of ty * int option        | SeqTy of t * int option
26        | AddrTy of ImageInfo.info        (* voxel address *)        | AddrTy of ImageInfo.info        (* voxel address *)
27        | ImageTy of ImageInfo.info        | ImageTy of ImageInfo.info
28    

Legend:
Removed from v.3809  
changed lines
  Added in v.3810

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