--- trunk/src/compiler/simplify/simplify.sml	2010/10/14 20:08:18	398
+++ trunk/src/compiler/simplify/simplify.sml	2010/10/14 20:08:35	399
@@ -143,10 +143,18 @@
 		in
 		  (stms, S.E_Cons xs)
 		end
-	    | AST.E_Slice(e, indices) => let (* tensor slicing *)
+	    | AST.E_Slice(e, indices, ty) => let (* tensor slicing *)
 		val (stms, x) = simplifyExpToVar (e, stms)
+		fun f ([], ys, stms) = (stms, List.rev ys)
+		  | f (NONE::es, ys, stms) = f (es, NONE::ys, stms)
+		  | f (SOME e::es, ys, stms) = let
+		      val (stms, y) = simplifyExpToVar (e, stms)
+		      in
+			f (es, SOME y::ys, stms)
+		      end
+		val (stms, indices) = f (indices, [], stms)
 		in
-		  raise Fail "FIXME"
+		  (stms, S.E_Slice(x, indices, ty))
 		end
 	    | AST.E_Cond(e1, e2, e3) => let
 	      (* a conditional expression gets turned into an if-then-else statememt *)

<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: e1, e2, e3) =&gt; let
 	      (* a conditional expression gets turned into an if-then-else statememt *)</div>
</div></div>
</body></html>