From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:53221) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hDVBs-0004T8-KL for guix-patches@gnu.org; Mon, 08 Apr 2019 10:24:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hDVBr-0002fu-7y for guix-patches@gnu.org; Mon, 08 Apr 2019 10:24:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:36544) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hDVBr-0002fj-07 for guix-patches@gnu.org; Mon, 08 Apr 2019 10:24:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hDVBq-0002cS-Rj for guix-patches@gnu.org; Mon, 08 Apr 2019 10:24:02 -0400 Subject: [bug#35193] [PATCH 3/3] Add python-mypy References: In-Reply-To: Resent-Message-ID: Date: Mon, 08 Apr 2019 14:23:33 +0000 From: JesseJohnGildersleve Message-ID: <3IVQb1J6z9j9U5yWdRLpzad564-kbH6bJWXMh054ojASWO6UgyWmKmls20D3yhjKr7zc97ZT-Ts5emS4RsmMuRU9X2zIquw8pivqiq_wLNs=@protonmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: JesseJohnGildersleve Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: "35193@debbugs.gnu.org" <35193@debbugs.gnu.org> >From e3d67303de7f73c6af6eab6360ee3a414e175488 Mon Sep 17 00:00:00 2001 From: frozenpigs 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 =E2=80=9Ctyping=E2=80=9D 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 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))) -- 2.21.0