From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:48195) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hLUuk-0007jk-8m for guix-patches@gnu.org; Tue, 30 Apr 2019 11:43:28 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hLUhp-0001V8-80 for guix-patches@gnu.org; Tue, 30 Apr 2019 11:30:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:56845) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hLUhp-0001V3-4c for guix-patches@gnu.org; Tue, 30 Apr 2019 11:30:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hLUhp-0001w9-1C for guix-patches@gnu.org; Tue, 30 Apr 2019 11:30:05 -0400 Subject: [bug#35193] [PATCH v2 3/3] gnu: Add python-mypy Resent-Message-ID: From: wednesday Message-ID: <20190430152914.13616-4-jessejohngildersleve@zohomail.eu> Date: Tue, 30 Apr 2019 16:29:14 +0100 In-Reply-To: <20190430152914.13616-1-jessejohngildersleve@zohomail.eu> References: <20190430152914.13616-1-jessejohngildersleve@zohomail.eu> MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf8 List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 35193@debbugs.gnu.org Cc: wednesday * 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 b= y 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 my= py to type check +them. Mypy is essentially a Python linter on steroids, and it can catch m= any 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))) --=20 2.21.0