[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#35193] [PATCH v2 3/3] gnu: Add python-mypy
From: |
wednesday |
Subject: |
[bug#35193] [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