// ty-test.diderot
//
// This file tests various typechecking rules

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]];

image(3)[2] img1 = load("img1.nrrd");
field#2(3)[2] F = img1 (*) bspln3;
field#1(3)[2,3] dF = D F;

tensor[3] w = (dF @ y)[0,:];