GNU bug report logs - #35193
[PATCH 0/3] Add python-mypy and required packages

Previous Next

Full log

Message #26 received at 35193 <at> debbugs.gnu.org (full text, mbox):

From: wednesday <jessejohngildersleve <at> zohomail.eu>
To: 35193 <at> debbugs.gnu.org
Cc: wednesday <jessejohngildersleve <at> zohomail.eu>
Subject: [PATCH v2 3/3] gnu: Add python-mypy
Date: Tue, 30 Apr 2019 16:29:14 +0100

* gnu/packages/python-xyz.scm (python-mypy): New public variable.
---
 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 01c065fc83..c528d2849d 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -15679,3 +15679,30 @@ standard @code{typing} module that are supported by the mypy typechecker.")
              (propagated-inputs
               `(("python2-typing" ,python2-typing)
                 ,@(package-propagated-inputs mypy))))))
+
+(define-public python-mypy
+  (package
+    (name "python-mypy")
+    (version "0.701")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "mypy" version))
+       (sha256
+        (base32
+         "05479r3gbq17r22hyhxjg49smx5q864pgx8ayy23rsdj4w6z2r2p"))))
+    (build-system python-build-system)
+    ;; FIXME: tests freeze at 80%
+    (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 3 and 2 (PEP 484)")
+    (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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.