Update src/gt4py/next/type_system/type_specifications.py

Co-authored-by: Till Ehrengruber <[email protected]>
GridTools · Dec 4, 2024 · ea81913 · ea81913
1 parent 74485d6
commit ea81913
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/gt4py/next/type_system/type_specifications.py b/src/gt4py/next/type_system/type_specifications.py
@@ -102,6 +102,9 @@ def __str__(self) -> str:
 
 class TupleType(DataType):
     # TODO: or DimensionType is a DataType
+    # TODO(tehrengruber): Remove `DeferredType` again. This was erroneously
+    #  introduced before we checked the annotations at runtime. All attributes of 
+    #  a type that are types themselves must be concrete.
     types: list[DataType | DimensionType | DeferredType]
     # TODO validate DeferredType constraints