From 6251b54ddd2fc15d72aab38daa34f1c6f20fed06 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Sun, 23 Jun 2019 10:28:31 -0400
Subject: gitlab-ci: Add testsuite typechecking lint

---
 .gitlab-ci.yml | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d24b4eedaf..b32f8268f0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -71,6 +71,7 @@ ghc-linters:
     refs:
       - merge_requests
 
+# Run mypy Python typechecker on linter scripts.
 lint-linters:
   <<: *only-default
   stage: lint
@@ -81,6 +82,7 @@ lint-linters:
   tags:
     - lint
 
+# Check that .T files all parse by listing broken tests.
 lint-testsuite:
   <<: *only-default
   stage: lint
@@ -91,6 +93,17 @@ lint-testsuite:
   tags:
     - lint
 
+# Run mypy Python typechecker on testsuite driver
+typecheck-testsuite:
+  <<: *only-default
+  stage: lint
+  image: "registry.gitlab.haskell.org/ghc/ci-images/linters:$DOCKER_REV"
+  script:
+    - mypy testsuite/driver/runtests.py
+  dependencies: []
+  tags:
+    - lint
+
 # We allow the submodule checker to fail when run on merge requests (to
 # accomodate, e.g., haddock changes not yet upstream) but not on `master` or
 # Marge jobs.
-- 
cgit v1.2.1