Check for typing errors in Travis CI.

jonathanslenders · jonathanslenders · commit 7d3d357bfaad · 2019-11-27T23:26:36.000+01:00
diff --git a/.travis.yml b/.travis.yml
@@ -20,7 +20,7 @@ script:
   - coverage run -m pytest
 
   # Run type checker.
-  - mypy prompt_toolkit | grep -v "Name '_' already defined" | true
+  - ./typecheck.sh || true
 
   # Check wheather the imports were sorted correctly.
   # When this fails, please run ./tools/sort-imports.sh
diff --git a/prompt_toolkit/application/application.py b/prompt_toolkit/application/application.py
@@ -91,7 +91,7 @@
 try:
     import contextvars
 except ImportError:
-    import prompt_toolkit.eventloop.dummy_contextvars as contextvars
+    import prompt_toolkit.eventloop.dummy_contextvars as contextvars  # type: ignore
 
 
 __all__ = [
diff --git a/prompt_toolkit/shortcuts/progress_bar/base.py b/prompt_toolkit/shortcuts/progress_bar/base.py
@@ -60,7 +60,7 @@
 try:
     import contextvars
 except ImportError:
-    from prompt_toolkit.eventloop import dummy_contextvars as contextvars
+    from prompt_toolkit.eventloop import dummy_contextvars as contextvars  # type: ignore
 
 
 __all__ = [
diff --git a/typecheck.sh b/typecheck.sh
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+mypy prompt_toolkit | grep -v "Name '_' already defined" | (! grep ': error:')

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+#!/bin/bash`
	`2`	`+`
	`3`	`+mypy prompt_toolkit \| grep -v "Name '_' already defined" \| (! grep ': error:')`