--- trunk/src/IL/types.sml	2010/05/04 15:54:33	59
+++ trunk/src/IL/types.sml	2010/05/04 15:55:00	60
@@ -39,16 +39,17 @@
 (* Question: perhaps we want {order : word, dim : dim, ty : raw_ty} instead *)
       | T_Tensor of {order : dim list, ty : raw_ty}
 (* Question: change "data set" to "image"? *)
-    (* data sets from NNRD *)
+    (* data sets from NRRD *)
       | T_Data of {
 	  dim : dim,		(* 2D or 3D data set *)
-	  order : dim list,	(* tensor order/dimension info *)
+	  shape : dim list,	(* tensor shape; order is length of list *)
 	  repTy : raw_ty	(* representation type of elements (raw kind) *)
 	}
     (* continuous field reconstructed from a data set *)
       | T_Field of {
+	  diff : dim,		(* number of levels of differentiation supported *)
 	  dim : dim,		(* 2D or 3D field *)
-	  order : dim list,	(* tensor order/dimension info *)
+	  shape : dim list,	(* tensor shape; order is length of list *)
 	  repTy : raw_ty,	(* representation type of elements (raw kind) *)
 	  ty : raw_ty		(* type of samples (float kind) *)
 	}

<script type="text/javascript">//<![CDATA[
		function toggle_ffErrors() {
			var errorsblock = document.getElementById("ffErrorsBlock");
			var errorsgroup = document.getElementById("ffErrors");
			if (errorsblock.style.display == "none") {
				errorsblock.style.display = "block";
				errorsgroup.style.right = "10px";
			} else {
				errorsblock.style.display = "none";
				errorsgroup.style.right = "300px";
			}
		}
//]]></script>
<div id="ffErrors">
<a href="javascript:toggle_ffErrors();">Click to toggle</a>
<div id="ffErrorsBlock">
	<div class="error">does not end with &lt;/html&gt; tag</div>
	<div class="error">does not end with &lt;/body&gt; tag</div>
	<div class="info">The output has ended thus: epresentation type of elements (raw kind) *)
 	  ty : raw_ty		(* type of samples (float kind) *)
 	}</div>
</div></div>
</body></html>