diff run_mypy.sh @ 31:3ca1a8774513

typing fixes. rewrite sequentialUri a bit Ignore-this: e03acba6e72acfd93d4670b80cab0646
author Drew Perttula <drewp@bigasterisk.com>
date Sat, 25 May 2019 02:36:17 +0000
parents
children deaabf47d82b
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run_mypy.sh	Sat May 25 02:36:17 2019 +0000
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+MYPYPATH=stubs mypy --check-untyped-defs rdfdb/*.py