type-annotate Record

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

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/pytools/__init__.py b/pytools/__init__.py
@@ -37,7 +37,7 @@
 from sys import intern
 from typing import (cast,
     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