[bug#35193] [PATCH 3/3] Add python-mypy

[JesseJohnGildersleve]

>From e3d67303de7f73c6af6eab6360ee3a414e175488 Mon Sep 17 00:00:00 2001
From: frozenpigs <address@hidden>
Date: Mon, 8 Apr 2019 14:35:50 +0100
Subject: [PATCH 3/3] gnu: add python-mypy

---
 gnu/packages/python-xyz.scm | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index 27f1e1de08..1cb5cfaade 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -15365,3 +15365,30 @@ standard “typing” module that are supported by the 
mypy typechecker.")

 (define-public python2-mypy-extensions
   (package-with-python2 python-mypy-extensions))
+
+(define-public python-mypy
+  (package
+    (name "python-mypy")
+    (version "0.700")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "mypy" version))
+       (sha256
+        (base32
+         "1zxfi5s9hxrz0hbaj4n513az17l44pxl80r62ipjc0bsmbcic2xi"))))
+    (build-system python-build-system)
+    ;; FIXME: mypy issue #5562, requires pytest
+    (arguments '(#:tests? #f))
+    (propagated-inputs
+     `(("python-mypy-extensions" ,python-mypy-extensions)
+       ("python-typed-ast" ,python-typed-ast)
+       ("python-psutil" ,python-psutil)))
+    (home-page "http://www.mypy-lang.org/";)
+    (synopsis "Optional static typing for Python (mypyc-compiled version)")
+    (description "Add type annotations to your Python programs, and use mypy 
to type check
+them.  Mypy is essentially a Python linter on steroids, and it can catch many 
programming
+errors by analyzing your program, without actually having to run it.  Mypy has 
a powerful
+type system with features such as type inference, gradual typing, generics and 
union
+types.")
+    (license license:expat)))
--
2.21.0