[Git][ghc/ghc][wip/lint-testsuite] gitlab-ci: Lint the linters

[Ben Gamari]

Ben Gamari pushed to branch wip/lint-testsuite at Glasgow Haskell Compiler / GHC


Commits:
ef60d554 by Ben Gamari at 2019-06-12T15:19:20Z
gitlab-ci: Lint the linters

- - - - -


2 changed files:

- .gitlab-ci.yml
- .gitlab/linters/linter.py


Changes:

=====================================
.gitlab-ci.yml
=====================================
@@ -70,6 +70,15 @@ ghc-linters:
     refs:
       - merge_requests
 
+lint-linters:
+  stage: lint
+  image: "nixos/nix"
+  script:
+    - nix run nixpkgs.python3Packages.mypy -c mypy .gitlab/linters/*.py
+  dependencies: []
+  tags:
+    - lint
+
 lint-testsuite:
   stage: lint
   image: "registry.gitlab.haskell.org/ghc/ci-images/x86_64-linux-deb9:$DOCKER_REV"


=====================================
.gitlab/linters/linter.py
=====================================
@@ -8,10 +8,10 @@ import re
 import textwrap
 import subprocess
 from pathlib import Path
-from typing import List, Optional, Callable
+from typing import List, Optional, Callable, Sequence
 from collections import namedtuple
 
-def lint_failure(file, line_no, line_content, message):
+def lint_failure(file, line_no: int, line_content: str, message: str):
     """ Print a lint failure message. """
     wrapper = textwrap.TextWrapper(initial_indent='  ',
                                    subsequent_indent='    ')
@@ -30,7 +30,7 @@ def lint_failure(file, line_no, line_content, message):
 
     print(textwrap.dedent(msg))
 
-def get_changed_files(base_commit, head_commit,
+def get_changed_files(base_commit: str, head_commit: str,
                       subdir: str = '.'):
     """ Get the files changed by the given range of commits. """
     cmd = ['git', 'diff', '--name-only',
@@ -56,11 +56,11 @@ class Linter(object):
         self.path_filters.append(f)
         return self
 
-    def do_lint(self, path):
+    def do_lint(self, path: Path):
         if all(f(path) for f in self.path_filters):
             self.lint(path)
 
-    def lint(self, path):
+    def lint(self, path: Path):
         raise NotImplementedError
 
 class LineLinter(Linter):
@@ -69,13 +69,13 @@ class LineLinter(Linter):
     the given line from a file and calls :func:`add_warning` for any lint
     issues found.
     """
-    def lint(self, path):
+    def lint(self, path: Path):
         if os.path.isfile(path):
             with open(path, 'r') as f:
                 for line_no, line in enumerate(f):
                     self.lint_line(path, line_no+1, line)
 
-    def lint_line(self, path, line_no, line):
+    def lint_line(self, path: Path, line_no: int, line: str):
         raise NotImplementedError
 
 class RegexpLinter(LineLinter):
@@ -83,18 +83,18 @@ class RegexpLinter(LineLinter):
     A :class:`RegexpLinter` produces the given warning message for
     all lines matching the given regular expression.
     """
-    def __init__(self, regex, message):
+    def __init__(self, regex: str, message: str):
         LineLinter.__init__(self)
         self.re = re.compile(regex)
         self.message = message
 
-    def lint_line(self, path, line_no, line):
+    def lint_line(self, path: Path, line_no: int, line: str):
         if self.re.search(line):
             w = Warning(path=path, line_no=line_no, line_content=line[:-1],
                         message=self.message)
             self.add_warning(w)
 
-def run_linters(linters: List[Linter],
+def run_linters(linters: Sequence[Linter],
                 subdir: str = '.') -> None:
     import argparse
     parser = argparse.ArgumentParser()



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/commit/ef60d554a0411f5ecbc3640eea0470b249424700

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/commit/ef60d554a0411f5ecbc3640eea0470b249424700
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20190612/d97c6f5f/attachment-0001.html>