--- branches/vis12/bugs/bug007.diderot	2013/02/22 22:50:12	2166
+++ branches/vis12/bugs/bug007.diderot	2013/02/24 11:50:36	2193
@@ -3,29 +3,12 @@
 // This program tests the slicing syntax, but fails with
 //
 //   ../bin/diderotc --log bug007.diderot
-//   ***** Internal error after translation to HighIL: see log file for details
-//
-// the log file reports:
-//
-// ********** IL Errors detected after after translation to HighIL **********
-// **** Error: type mismatch in "tensor[3] y00F8 = Slice<tensor[3],_:>(x00F4,_t00F6)"
-//   ** lhs: tensor[3]
-//   ** rhs: real
-// **** Error: argument type mismatch in "tensor[3] y00F8 = Slice<tensor[3],_:>(x00F4,_t00F6)"
-//   ** expected: (tensor[3] * int)
-//   ** found:    (tensor[2,3] * int)
-// **** Error: argument type mismatch in "tensor[2] z00FC = Slice<tensor[2],:_>(x00F4,_t00FA)"
-//   ** expected: tensor[2]
-//   ** found:    (tensor[2,3] * int)
-// **** Error: argument type mismatch in "tensor[2] _t0100 = Slice<tensor[2],:_>(x00F4,_t00FE)"
-//   ** expected: tensor[2]
-//   ** found:    (tensor[2,3] * int)
-// **** Error: argument type mismatch in "tensor[2] _t0104 = Slice<tensor[2],:_>(x00F4,_t0102)"
-//   ** expected: tensor[2]
-//   ** found:    (tensor[2,3] * int)
-// **** Error: argument type mismatch in "tensor[2] _t0108 = Slice<tensor[2],:_>(x00F4,_t0106)"
-//   ** expected: tensor[2]
-//   ** found:    (tensor[2,3] * int)
+//   error converting Slice<tensor[2,3],:_>
+//   uncaught exception Fail [Fail: FIXME: Slice]
+//     raised at common/phase-timer.sml:76.50-76.52
+//     raised at common/phase-timer.sml:76.50-76.52
+//     raised at high-to-mid/high-to-mid.sml:297.85-297.87
+//     raised at high-to-mid/high-to-mid.sml:251.41-251.60
 
 tensor[2,3] x = [[0.0, 0.1, 0.2], [1.0, 1.1, 2.1]];
 tensor[3] y = x[1,:];

<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: -mid.sml:251.41-251.60
 
 tensor[2,3] x = [[0.0, 0.1, 0.2], [1.0, 1.1, 2.1]];
 tensor[3] y = x[1,:];</div>
</div></div>
</body></html>