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

SCM Repository

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

Diff of /trunk/src/compiler/IL/types.sml

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

revision 9, Fri Jan 8 22:06:11 2010 UTC revision 12, Mon Jan 11 19:28:12 2010 UTC
# Line 36  Line 36 
36        = T_Var of var        = T_Var of var
37        | T_Bool        | T_Bool
38      (* scalars, vectors, matrices, etc. *)      (* scalars, vectors, matrices, etc. *)
39    (* Question: perhaps we want {order : word, dim : dim, ty : raw_ty} instead *)
40        | T_Tensor of {order : dim list, ty : raw_ty}        | T_Tensor of {order : dim list, ty : raw_ty}
41    (* Question: change "data set" to "image"? *)
42      (* data sets from NNRD *)      (* data sets from NNRD *)
43        | T_Data of {        | T_Data of {
44            dim : dim,            (* 2D or 3D data set *)            dim : dim,            (* 2D or 3D data set *)
# Line 96  Line 98 
98                  okDim dim                  okDim dim
99                  andalso List.all okDim order                  andalso List.all okDim order
100                  andalso okRawTy repTy                  andalso okRawTy repTy
101                  andalso okFloatTy repTy                  andalso okFloatTy ty
102              | wellFormed' _ = false              | wellFormed' _ = false
103            in            in
104              wellFormed' ty              wellFormed' ty

Legend:
Removed from v.9  
changed lines
  Added in v.12

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