avoid abstract value types

remove basic value type ANY
remove concept of tensors with unknown dimensions
disallow value types with unbound indexed dimensions
remove predicates talking about abstract types
type of unknown values are now ERROR (was ANY)
require that overlapping indexed dimensions are of equal size
type unification now requires types to be equal ('if' expressions)
creating a tensor type without dimensions now gives a double type
make rank feature setup fail on invalid types (query/attribute)

1 files changed, 0 insertions, 5 deletions

diff --git a/eval/src/tests/tensor/dense_inplace_map_function/dense_inplace_map_function_test.cpp b/eval/src/tests/tensor/dense_inplace_map_function/dense_inplace_map_function_test.cpp
index 77af747a066..a17b7e02eb8 100644
--- a/eval/src/tests/tensor/dense_inplace_map_function/dense_inplace_map_function_test.cpp
+++ b/eval/src/tests/tensor/dense_inplace_map_function/dense_inplace_map_function_test.cpp
@@ -27,7 +27,6 @@ EvalFixture::ParamRepo make_params() {
         .add_mutable("_d", spec(5.0))
         .add_mutable("_x5", spec({x(5)}, N()))
         .add_mutable("_x5y3", spec({x(5),y(3)}, N()))
-        .add_mutable("_x5_u", spec({x(5)}, N()), "tensor(x[])")
         .add_mutable("_x_m", spec({x({"a", "b", "c"})}, N()));
 }
 EvalFixture::ParamRepo param_repo = make_params();
@@ -60,10 +59,6 @@ TEST("require that inplace map operations can be chained") {
     TEST_DO(verify_optimized("map(map(_x5,f(x)(x+10)),f(x)(x-5))", 2));
 }
 
-TEST("require that abstract tensors are not optimized") {
-    TEST_DO(verify_not_optimized("map(_x5_u,f(x)(x+10))"));
-}
-
 TEST("require that non-mutable tensors are not optimized") {
     TEST_DO(verify_not_optimized("map(x5,f(x)(x+10))"));
 }