// bug007.diderot
//
// 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)

tensor[2,3] x = [[0.0, 0.1, 0.2], [1.0, 1.1, 2.1]];
tensor[3] y = x[1,:];
tensor[2] z = x[:,0];
tensor[3,2] m = [x[:,0], x[:,1], x[:,2]];
real s = m[1, 0];
real a = m:m + x:x;

strand S ()
{
    output real dummy = 0.0;
    update { stabilize; }
}

initially { S() | i in 1..2 };