From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:40869) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hVmaV-0000Mq-IS for guix-patches@gnu.org; Tue, 28 May 2019 20:37:04 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hVmaU-0001uK-F1 for guix-patches@gnu.org; Tue, 28 May 2019 20:37:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:44217) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hVmaU-0001u5-Ay for guix-patches@gnu.org; Tue, 28 May 2019 20:37:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hVmaU-0006AJ-7J for guix-patches@gnu.org; Tue, 28 May 2019 20:37:02 -0400 Subject: [bug#35975] [PATCH 43/47] gnu: Add python-mypy. Resent-Message-ID: Received: from eggs.gnu.org ([209.51.188.92]:40544) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hVmZO-0007tw-13 for guix-patches@gnu.org; Tue, 28 May 2019 20:35:55 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hVmZM-00012q-OH for guix-patches@gnu.org; Tue, 28 May 2019 20:35:53 -0400 Received: from 37.59.236.227.rdns.hasaserver.com ([37.59.236.227]:55889 helo=hamzeh-VirtualBox.Home) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hVmZM-000123-6S for guix-patches@gnu.org; Tue, 28 May 2019 20:35:52 -0400 From: "h.nasajpour" Date: Wed, 29 May 2019 05:05:50 +0430 Message-Id: <20190529003550.3213-1-h.nasajpour@pantherx.org> In-Reply-To: References: 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: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 35975@debbugs.gnu.org Cc: "h.nasajpour" * gnu/packages/python-xyz.scm (python-mypy): New variable * gnu/packages/python-xyz.scm (python-mypy_extensions): New variable --- gnu/packages/python-xyz.scm | 41 +++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 93783d17ee..298a59f59f 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -15495,4 +15495,45 @@ by Igor Pavlov.") as they are based on the CPython 2.7 and 3.6 parsers.") (license license:expat))) =20 +(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 "04h8brrbbx151dfa2cvvlnxgmb5wa00mhd2z7nd20s8kyibfk= q1p")))) + (build-system python-build-system) + (arguments + `(#:tests? #f)) + (home-page "http://www.mypy-lang.org/") + (synopsis "Experimental type system extensions for programs checked = with the mypy typechecker.") + (description + "The =E2=80=9Cmypy_extensions=E2=80=9D module defines experimental = extensions to the standard =E2=80=9Ctyping=E2=80=9D module that are suppo= rted by the mypy typechecker..") + (license license:expat))) + +(define-public python-mypy + (package + (name "python-mypy") + (version "0.701") + (source (origin + (method url-fetch) + (uri (pypi-uri "mypy" version)) + (sha256 (base32 "05479r3gbq17r22hyhxjg49smx5q864pgx8ayy23rsdj4w6z2= r2p")))) + (build-system python-build-system) + (arguments + `(#:tests? #f)) + (inputs `( + ("python-typed-ast" , python-typed-ast) + ("python-mypy_extensions" , python-mypy_extensions) + ("python-typed-ast" , python-typed-ast) + )) + (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 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 wit= h features such as type inference, + gradual typing, generics and union types.") + (license license:expat))) =20 --=20 2.17.1