diff options
author | Håvard Pettersen <havardpe@oath.com> | 2019-04-10 09:50:06 +0000 |
---|---|---|
committer | Håvard Pettersen <havardpe@oath.com> | 2019-04-25 12:24:03 +0000 |
commit | 974a0f2d3c588e35165177ac556e08cfdcc0e26f (patch) | |
tree | 46551c364a6cd1ee3cf88292f30537870f2956b4 /document | |
parent | b186ca34ab5df612a463334772788752e1deec3c (diff) |
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)
Diffstat (limited to 'document')
-rw-r--r-- | document/src/tests/datatype/datatype_test.cpp | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/document/src/tests/datatype/datatype_test.cpp b/document/src/tests/datatype/datatype_test.cpp index ef41ee770a2..fff913a0f91 100644 --- a/document/src/tests/datatype/datatype_test.cpp +++ b/document/src/tests/datatype/datatype_test.cpp @@ -94,13 +94,6 @@ TEST_F("require that TensorDataType can check for assignable tensor type", Tenso EXPECT_TRUE(f.isAssignableType("tensor(x[2])")); EXPECT_FALSE(f.isAssignableType("tensor(x[3])")); EXPECT_FALSE(f.isAssignableType("tensor(y[2])")); - EXPECT_FALSE(f.isAssignableType("tensor(x[])")); - EXPECT_FALSE(f.isAssignableType("tensor(x{})")); - f.setup("tensor(x[])"); - EXPECT_TRUE(f.isAssignableType("tensor(x[2])")); - EXPECT_TRUE(f.isAssignableType("tensor(x[3])")); - EXPECT_FALSE(f.isAssignableType("tensor(y[2])")); - EXPECT_FALSE(f.isAssignableType("tensor(x[])")); EXPECT_FALSE(f.isAssignableType("tensor(x{})")); } |