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 3827, Thu May 5 18:47:50 2016 UTC revision 3828, Thu May 5 19:55:46 2016 UTC
# Line 17  Line 17 
17                                           * is spread across hardware-supported vectors.                                           * is spread across hardware-supported vectors.
18                                           * The boolean is true if the type is padded out.                                           * The boolean is true if the type is padded out.
19                                           *)                                           *)
20  (* QUESTION: perhaps at this point, we should just represent higher-order tensors        | TensorTy of int list            (* in-memory tensor type.  For 0th order and 1st
21   * as SeqTy types?                                           * order tensors, the local-variable types will
22                                             * be RealTy and VecTy (resp.).
23   *)   *)
       | TensorTy of int * t             (* type of 2nd-order (or higher) tensor *)  
24        | TupleTy of t list               (* tuples; used for multiple return values *)        | TupleTy of t list               (* tuples; used for multiple return values *)
25        | SeqTy of t * int option        | SeqTy of t * int option
26        | AddrTy of ImageInfo.info        (* voxel address *)        | AddrTy of ImageInfo.info        (* voxel address *)

Legend:
Removed from v.3827  
changed lines
  Added in v.3828

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