Introduce SearchPath type

[pinch] / pinch.py

diff --git a/pinch.py b/pinch.py
index 4c8a51fe45472d3e8c5fba412da7c9df6ae46286..0c0103b2ece62df9c9b1ecbee8bf5fdb2d42a812 100644 (file)
--- a/pinch.py
+++ b/pinch.py
@@ -50,7 +50,11 @@ class ChannelTableEntry(types.SimpleNamespace):
     url: str
 
 
-class Channel(types.SimpleNamespace):
+class SearchPath(types.SimpleNamespace):
+    release_name: str
+
+
+class Channel(SearchPath):
     alias_of: str
     channel_html: bytes
     channel_url: str
@@ -59,7 +63,6 @@ class Channel(types.SimpleNamespace):
     git_repo: str
     git_revision: str
     old_git_revision: str
-    release_name: str
     table: Dict[str, ChannelTableEntry]
 
 
@@ -131,7 +134,7 @@ def fetch(v: Verification, channel: Channel) -> None:
     request = urllib.request.urlopen(channel.channel_url, timeout=10)
     channel.channel_html = request.read()
     channel.forwarded_url = request.geturl()
-    v.result(request.status == 200)
+    v.result(request.status == 200)  # type: ignore  # (for old mypy)
     v.check('Got forwarded', channel.channel_url != channel.forwarded_url)
 
 
@@ -212,7 +215,7 @@ def fetch_with_nix_prefetch_url(
     v.status("Verifying file digest")
     file_digest = digest_file(path)
     v.result(file_digest == digest)
-    return path
+    return path  # type: ignore  # (for old mypy)
 
 
 def fetch_resources(v: Verification, channel: Channel) -> None:
@@ -423,7 +426,7 @@ def git_get_tarball(v: Verification, channel: Channel) -> str:
 
         os.makedirs(os.path.dirname(cache_file), exist_ok=True)
         open(cache_file, 'w').write(store_tarball)
-        return store_tarball
+        return store_tarball  # type: ignore  # (for old mypy)
 
 
 def check_channel_metadata(