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

Parent Directory | Revision Log | 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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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