From 80f8260729aa7e6452e3cf656d084bf0a34cfab4 Mon Sep 17 00:00:00 2001
From: Frederik Hennig <frederik.hennig@fau.de>
Date: Tue, 30 Jan 2024 23:31:37 +0100
Subject: [PATCH] minor fixes and doc additions
---
src/pystencils/nbackend/kernelcreation/typification.py | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/src/pystencils/nbackend/kernelcreation/typification.py b/src/pystencils/nbackend/kernelcreation/typification.py
index 8af7f21d1..c8421fbfe 100644
--- a/src/pystencils/nbackend/kernelcreation/typification.py
+++ b/src/pystencils/nbackend/kernelcreation/typification.py
@@ -23,6 +23,10 @@ NodeT = TypeVar("NodeT", bound=PsAstNode)
class UndeterminedType(PsNumericType):
+ """Placeholder for types that could not yet be determined by the typifier.
+
+ Instances of this class should never leave the typifier; it is an error if they do.
+ """
def create_constant(self, value: Any) -> Any:
return None
@@ -82,6 +86,7 @@ class TypeContext:
self._target_type = deconstify(target_type)
for dc in self._deferred_constants:
dc.resolve(self._target_type)
+ self._deferred_constants = []
@property
def target_type(self) -> PsNumericType | None:
@@ -204,12 +209,16 @@ class Typifier(Mapper):
def map_product(self, expr: pb.Product, tc: TypeContext) -> pb.Product:
return pb.Product(tuple(self.rec(c, tc) for c in expr.children))
+
+ # Functions
def map_call(self, expr: pb.Call, tc: TypeContext) -> pb.Call:
"""
TODO: Figure out how to describe function signatures
"""
raise NotImplementedError()
+
+ # Internals
def _apply_target_type(
self, expr: ExprOrConstant, expr_type: PsAbstractType, tc: TypeContext
--
GitLab