From ea81913ed04b92444ea62dc6cdd56beade6a51f4 Mon Sep 17 00:00:00 2001 From: Hannes Vogt Date: Wed, 4 Dec 2024 16:23:27 +0100 Subject: [PATCH] Update src/gt4py/next/type_system/type_specifications.py Co-authored-by: Till Ehrengruber --- src/gt4py/next/type_system/type_specifications.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/gt4py/next/type_system/type_specifications.py b/src/gt4py/next/type_system/type_specifications.py index a695b2268a..f57f50aa97 100644 --- 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