Fix: pass lint and mypy

Author: jmhorcas

Makefile

@@ -12,10 +12,12 @@ upload-pypi:
 	python3 -m twine upload --repository pypi dist/*
 
 lint:
-	prospector
+	echo "To lint this project, make sure that you have installed the core" >&2;
+	ruff check .
 
 mypy:
-	mypy flamapy
+	echo "To lint this project, make sure that you have installed the core" >&2;
+	mypy -p flamapy
 
 test:
 	python -m pytest -sv

flamapy/core/models/ast.py

@@ -123,7 +123,7 @@ def pretty_str(self) -> str:
             if self.right is not None:
                 res = f'{data}({left}, {right})'
             else:
-                res = f'{data}({left})'
+                res = f'{data}({left})'  # type: ignore[unreachable]
         else:  # binary operation
             res = f'{left} {data} {right}'
         return res