From c818fa2d6cafcfa66806742c7f49bcc7222fb28c Mon Sep 17 00:00:00 2001
From: Ioannis Filippidis <jfilippidis@gmail.com>
Date: Sun, 28 Aug 2022 22:24:29 +0200
Subject: [PATCH] TYP: annotate constants with `typing.Final`

---
 dd/_copy.py |  2 +-
 download.py | 18 ++++++++++--------
 2 files changed, 11 insertions(+), 9 deletions(-)

diff --git a/dd/_copy.py b/dd/_copy.py
index a42ea02c..69c90103 100644
--- a/dd/_copy.py
+++ b/dd/_copy.py
@@ -12,7 +12,7 @@
 import dd._utils as _utils
 
 
-SHELVE_DIR = '__shelve__'
+SHELVE_DIR: _ty.Final = '__shelve__'
 _Yes: _ty.TypeAlias = dd._abc.Yes
 
 
diff --git a/download.py b/download.py
index 4a1ee06c..e1231098 100644
--- a/download.py
+++ b/download.py
@@ -23,14 +23,15 @@
 from setuptools.extension import Extension
 
 
-EXTENSIONS = ['cudd', 'cudd_zdd', 'buddy', 'sylvan']
+EXTENSIONS: _ty.Final = [
+    'cudd', 'cudd_zdd', 'buddy', 'sylvan']
 # CUDD
-CUDD_VERSION = '3.0.0'
-CUDD_TARBALL = f'cudd-{CUDD_VERSION}.tar.gz'
-CUDD_URL = (
+CUDD_VERSION: _ty.Final = '3.0.0'
+CUDD_TARBALL: _ty.Final = f'cudd-{CUDD_VERSION}.tar.gz'
+CUDD_URL: _ty.Final = (
     'https://sourceforge.net/projects/cudd-mirror/files/'
     f'cudd-{CUDD_VERSION}.tar.gz/download')
-CUDD_SHA256 = (
+CUDD_SHA256: _ty.Final = (
     'b8e966b4562c96a03e7fbea239729587'
     'd7b395d53cadcc39a7203b49cf7eeb69')
 CC = 'gcc'
@@ -38,10 +39,11 @@
 CUDD_PATH = os.path.join(
     FILE_PATH,
     f'cudd-{CUDD_VERSION}')
-CUDD_DIRS = ['cudd', 'dddmp', 'epd', 'mtr', 'st', 'util']
+CUDD_DIRS: _ty.Final = [
+    'cudd', 'dddmp', 'epd', 'mtr', 'st', 'util']
 CUDD_INCLUDE = ['.', *CUDD_DIRS]
-CUDD_LINK = ['cudd/.libs', 'dddmp/.libs']
-CUDD_LIB = ['cudd', 'dddmp']
+CUDD_LINK: _ty.Final = ['cudd/.libs', 'dddmp/.libs']
+CUDD_LIB: _ty.Final = ['cudd', 'dddmp']
 CUDD_CFLAGS = [
     # '-arch x86_64',
     '-fPIC',