type-annotate Record

matthiasdiener · matthiasdiener · commit bfbd54617461 · 2024-04-01T14:40:58.000-05:00
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
`@@ -4,4 +4,4 @@ set -ex`
`4`	`4`
`5`	`5`	`mypy pytools`
`6`	`6`
`7`		`-mypy --strict pytools/datatable.py`
	`7`	`+mypy --strict --follow-imports=skip pytools/datatable.py`