playground mypy

Author: bozokopic

playground/mypy.sh

@@ -0,0 +1,10 @@
+#!/bin/sh
+
+set -e
+
+PLAYGROUND_PATH=$(dirname "$(realpath "$0")")
+. $PLAYGROUND_PATH/env.sh
+
+export MYPYPATH=$PYTHONPATH
+
+exec $PYTHON -m mypy "$@"

src_py/hat/util/sqlite3.py

@@ -46,6 +46,6 @@ def sqlite3_convert_timestamp(val: bytes) -> datetime.datetime:
     else:
         tz = None
 
-    val = datetime.datetime(year, month, day, hours, minutes, seconds,
-                            microseconds, tz)
-    return val
+    dt = datetime.datetime(year, month, day, hours, minutes, seconds,
+                           microseconds, tz)
+    return dt