From 9ea43781898c7d2c45e9afea31c433eeff7c3c52 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Tue, 25 Jun 2024 10:26:42 -0500
Subject: [PATCH] Add vague types to RecordWithoutPickling constructor
---
pytools/__init__.py | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/pytools/__init__.py b/pytools/__init__.py
index 513207e..a2c167c 100644
--- a/pytools/__init__.py
+++ b/pytools/__init__.py
@@ -414,7 +414,10 @@ class RecordWithoutPickling:
__slots__: ClassVar[List[str]] = []
fields: ClassVar[Set[str]]
- def __init__(self, valuedict=None, exclude=None, **kwargs):
+ def __init__(self,
+ valuedict: Optional[Mapping[str, Any]] = None,
+ exclude: Optional[Sequence[str]] = None,
+ **kwargs: Any) -> None:
assert self.__class__ is not Record
if exclude is None:
--
GitLab