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

Previous Next

Full log

View this message in rfc822 format

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

* gnu/packages/python-xyz.scm (python-mypy-extensions,
  python2-mypy-extensions): New public variables.
---
 gnu/packages/python-xyz.scm | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index 79271f0e41..01c065fc83 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -15653,3 +15653,29 @@ under which they are run.  The typed_ast parsers produce the standard Python AST
 (plus type comments), and are both fast and correct, as they are based on the
 CPython 2.7 and 3.6 parsers.")
     (license license:asl2.0)))
+
+(define-public python-mypy-extensions
+  (package
+    (name "python-mypy-extensions")
+    (version "0.4.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "mypy_extensions" version))
+       (sha256
+        (base32
+         "04h8brrbbx151dfa2cvvlnxgmb5wa00mhd2z7nd20s8kyibfkq1p"))))
+    (build-system python-build-system)
+    (home-page "http://www.mypy-lang.org/")
+    (synopsis "Experimental type system extensions for programs checked with mypy")
+    (description "The @code{mypy_extensions} module defines experimental extensions to the
+standard @code{typing} module that are supported by the mypy typechecker.")
+    (license license:expat)))
+
+(define-public python2-mypy-extensions
+  (let ((mypy (package-with-python2
+                   (strip-python2-variant python-mypy-extensions))))
+    (package (inherit mypy)
+             (propagated-inputs
+              `(("python2-typing" ,python2-typing)
+                ,@(package-propagated-inputs mypy))))))
-- 
2.21.0

Previous Next

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