type-annotate Record

inducer · Apr 1, 2024 · 4899182 · 4899182
1 parent 1c08e1a
commit 4899182
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/pytools/__init__.py b/pytools/__init__.py
@@ -35,9 +35,9 @@
 import sys
 from functools import reduce, wraps
 from sys import intern
-from typing import (cast,
+from typing import (
     Any, Callable, ClassVar, Dict, Generic, Hashable, Iterable, Iterator, List,
-    Mapping, Optional, Sequence, Set, Tuple, Type, TypeVar, Union)
+    Mapping, Optional, Sequence, Set, Tuple, Type, TypeVar, Union, cast)
 
 
 try:

diff --git a/run-mypy.sh b/run-mypy.sh
@@ -4,4 +4,4 @@ set -ex
 
 mypy pytools
 
-mypy --strict pytools/datatable.py
+mypy --strict --follow-imports=skip pytools/datatable.py
Original file line number	Diff line number	Diff line change
Expand Up		@@ -4,4 +4,4 @@ set -ex

		mypy pytools

		mypy --strict pytools/datatable.py
		mypy --strict --follow-imports=skip pytools/datatable.py