switch project to python3.8 (and rebuild Pipefile.lock)

mypy wasn't working correctly unless we explicitly depend on
typing_extensions. This is too bad as python 3.8 presumably has most of
hte "newer" extension types anyways.

1 files changed, 3 insertions, 1 deletions

diff --git a/Pipfile b/Pipfile
index 2fec268..9cfd644 100644
--- a/Pipfile
+++ b/Pipfile
@@ -32,6 +32,8 @@ starlette-prometheus = "*"
 [dev-packages]
 ipython = "*"
 mypy = "*"
+# typing_extensions is required for mypy to operate
+typing_extensions = "*"
 pytype = "*"
 flake8 = "*"
 flake8-annotations = "*"
@@ -43,4 +45,4 @@ pytest-cov = "*"
 black = "==19.10b0"
 
 [requires]
-python_version = "3.7"
+python_version = "3.8"