. e python types

Author: isidore

build/scripts/embed.py

@@ -38,8 +38,8 @@
 
 # globals
 will_escape = False
-guard_stack = []
-included_files = []
+guard_stack: List[int] = []
+included_files: List[str] = []
 keep_guard = True
 
 """

build/scripts/utilities.py

@@ -48,7 +48,7 @@ def check_url_exists(url: str) -> bool:
 def get_file_name(path: str) -> str:
     return os.path.split(path)[1]
 
-pushstack = list()
+pushstack: List[str] = []
 
 
 def pushdir(dirname: str) -> None:
@@ -125,4 +125,4 @@ def optional_action(step: str, action_function: Callable) -> None:
 
 def ensure_directory_exists(directory: str) -> None:
     if not os.path.isdir(directory):
-        os.mkdir(directory)
+        os.mkdir(directory)